scientific article; zbMATH DE number 3670430

Publication date 1980

completeness conditional logic decidability deontic logic filtrations finite model property Kripke models neighbourhood models normal systems possible worlds propositional modal logic Scott-Montague models

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cited in

(only showing first 100 items - show all)

Investigations into a left-structural right-substructural sequent calculus
Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator
A logical formalization of the OCC theory of emotions
Determining the environment: a modal logic for closed interaction
Interrogative belief revision in modal logic
An epistemic model of an agent who does not reflect on reasoning processes
The logic of viewpoints
The semantics of Hoare's iteration rule
Preservation of expressive completeness in temporal models
Belief, awareness, and limited reasoning
Models for normal intuitionistic modal logics
Models for stronger normal intuitionistic modal logics
H. B. Smith on modality: A logical reconstruction
Languages with self-reference. II: Knowledge, belief, and modality
Modal operators with probabilistic interpretations. I
On the relation between default and autoepistemic logic
On standard models of fuzzy modal logics
Expressive completeness failure in branching time structures
Chronological ignorance: Experiments in nonmonotonic temporal reasoning
TABLEAUX: A general theorem prover for modal logics
Programming in temporal-nonmonotonic reasoning
A perspective on modal sequent logic
Dominated strategies and common knowledge
A guide to completeness and complexity for modal logics of knowledge and belief
Time and modality in the logic of agency
Normal bimodal logics of ability and action
On first-order conditional logics
Reaching agreements through argumentation: a logical model and implementation
Axiomatisation of functional dependencies in incomplete relations
Syntactical treatments of propositional attitudes
Common belief in monotonic epistemic logic
Iterative and fixed point common belief
Fuzzy sets and binary-proximity-based rough sets
Interpretations of belief functions in the theory of rough sets
Agency and obligation
Unawareness and partitional information structures
Assessing the truth axiom under incomplete information
On the logic and role of negative introspection of common belief
Constructive and algebraic methods of the theory of rough sets
A comparative study of fuzzy sets and rough sets
Dempster's rule of conditioning translated into modal logic
Belief as defeasible knowledge
Moral dilemmas and nonmonotonic logic
Modal logics with the MacIntosh rule
Non-genuine MacIntosh logics
A uniform tableau method for intuitionistic modal logics. I
Decidability by filtrations for graded normal logics. (Graded modalities. V)
Axiomatization and completeness of uncountably valued approximation logic
Logics and decidability for labelled pre- and partially ordered Kripke structures
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
The epistemic structure of a theory of a game
On the logic of common belief and common knowledge
Awareness and partitional information structures
Alternative approaches to default logic
A non-minimal but very weak axiomatization of common belief
Possible world semantics and autoepistemic reasoning
Deontic logic as founded on nonmonotonic logic
Exploiting the normative aspect of preference: A deontic logic without actions
Towards a formal theory of defeasible deontic conditionals
Counterfactual reasoning by (means of) defaults
The relationship between knowledge, belief, and certainty
Modal logic for default reasoning
On the completeness of first degree weakly aggregative modal logics
A necessary and sufficient epistemic condition for playing backward induction
Propositional lax logic
Canonicity for intensional logics without iterative axioms
A basic system of congruential-to-monotone bimodal logic and two of its extensions
Belief closure: A semantics of common knowledge for modal propositional logic
A modal contrastive logic: The logic of ``but
Propositional quantification in the topological semantics for S4
Common knowledge and update in finite environments
A unified framework for the algebra of unsharp quantum mechanics
Multi-dimensional logic programming: theoretical foundations
Possibilistic reasoning -- a mini-survey and uniform semantics
Compiling specificity into approaches to nonmonotonic reasoning
Synonymous logics
Neighborhoods for entailment
A decidable multi-modal logic of context
A context model for fuzzy concept analysis based upon modal logic.
The modal logic of agreement and noncontingency
A fuzzy logic with interval truth values
Proof-search in type-theoretic languages: An introduction
Let Us investigate! Dynamic conjecture-making as the formal logic of abduction
On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
Typology of axioms for a weighted modal logic
Quantification in some non-normal modal logics
``That will do: logics of deontic necessity and sufficiency
Proof theory for functional modal logic
Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
A generalized modal logic in causal structures
Some minimal axiom sets of rough sets
An axiomatic system and a tableau calculus for STIT imagination logic
Combinatorial bitstring semantics for arbitrary logical fragments
Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis
The knower paradox in the light of provability interpretations of modal logic
Subintuitionistic logics and the implications they prove
Neighborhood semantics for modal many-valued logics
A modal logic of intentional communication
A rough logic based on incomplete information and its application
Two views of the theory of rough sets in finite universes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3867808)