Kripke semantics for knowledge representation logics
- 1 June 1990
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 49 (2), 255-272
- https://doi.org/10.1007/bf00935602
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Rough Tolerance Equality and Tolerance Black BoxesFundamenta Informaticae, 1988
- DAL—A logic for data analysisTheoretical Computer Science, 1985
- Representation of nondeterministic informationTheoretical Computer Science, 1984
- Rough setsInternational Journal of Parallel Programming, 1982
- Dynamic Information SystemsFundamenta Informaticae, 1982
- Information systems theoretical foundationsInformation Systems, 1981
- Applying modal logicStudia Logica, 1980
- Advice on Modal LogicPublished by Springer Nature ,1970
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963