scientific article; zbMATH DE number 755666
From MaRDI portal
Publication:4698331
Recommendations
Cited in
(only showing first 100 items - show all)- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
- Solving the \$100 modal logic challenge
- A non-preferential semantics of non-monotonic modal logic
- Reasoning about knowledge of unawareness
- Interrogative belief revision in modal logic
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning
- A fuzzy document retrieval method based on two-valued indexing
- Programming in metric temporal logic
- Non-monotonic logic. I
- Interpretations of intuitionist logic in non-normal modal logics
- Combinations of tense and modality for predicate logic
- A tableau-like proof procedure for normal modal logics
- ``Everywhere in predicate algebra and modal logic
- Synonymous logics
- The fixed point property in modal logic
- Extended quantum logic
- A decidable multi-modal logic of context
- The modal logic of agreement and noncontingency
- Reasoning about proof and knowledge
- The broadest necessity
- Covering-based rough sets and modal logics. II.
- Formal reasoning in preference-based multiple-source rough set model
- Introspective unawareness and observable choice
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
- Why is there something rather than nothing? A logical investigation
- A complete uniform substitution calculus for differential dynamic logic
- Proof theory for functional modal logic
- Anything goes
- A first-order coalition logic for BDI-agents
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
- A completeness theorem for continuous predicate modal logic
- First-order modal logic: frame definability and a Lindström theorem
- On decidability of recursive weighted logics
- Strong completeness theorems for weak logics of common belief
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
- Three dual ontologies
- Effective completeness theorems for modal logic
- Investigations into quantified modal logic
- Modal quantum theory
- The geometry of standard deontic logic
- On the 3D visualisation of logical relations
- Why the logical hexagon?
- Quantified multimodal logics in simple type theory
- Axiomatising the Prior future in predicate logic
- An incomplete relevant modal logic
- Mirroring theorems in free logic
- Modal metatheory for quantified modal logic, with and without the Barcan formulas
- Intuitionism and the modal logic of vagueness
- The monodic fragment of propositional term modal logic
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Efficient multi-agent epistemic planning: teaching planners about nested belief
- Quantifier-free epistemic term-modal logic with assignment operator
- Axiomatization of some basic and modal Boolean connexive logics
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic
- Rosser provability and the second incompleteness theorem
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- Proof-theory and semantics for a theory of definite descriptions
- Completeness theorems for -fragment of first-order modal logic
- Ontological argument and infinity in Spinoza's thought
- Generalizing deontic action logic
- Some implicative topological quasi-Boolean algebras and rough set models
- Rosser provability and normal modal logics
- A note on the issue of cohesiveness in canonical models
- Dynamic term-modal logics for first-order epistemic planning
- Reprint of: Reasoning about knowledge of unawareness revisited
- Unawareness with ``possible possible worlds
- Dugundji's theorem revisited
- Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- The logic of qualitative probability
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
- Rationalizing epistemic bounded rationality
- An update logic for information systems
- A simple logic for reasoning about incomplete knowledge
- Evaluations of epistemic components for resolving the muddy children puzzle
- Tensed mereology
- Subjective reasoning -- dynamic games
- An application of temporal projection to interleaving concurrency
- Retracted article: ``A completeness theorem for continuous predicate modal logic
- On base radical and semisimple classes defined by class operators
- Lattice-valued modal propositional logic based on M-lattice implication algebras
- Modal-epistemic arithmetic and the problem of quantifying in
- Reasoning about functional and full hierarchical dependencies over partial relations
- SLAP: specification logic of actions with probability
- Abductive reasoning in neural-symbolic systems
- An intrinsic topology for orthomodular lattices
- Approximations of modal logics: K and beyond
- A Grim semantics for logics of belief
- On modal logic of deductive closure
- Strict identity with no overlap
- Action and knowledge in alternating-time temporal logic
- Multimodal logic programming
- Worlds and times
- Logics for approximate entailment in ordered universes of discourse
- An axiomatization of PCTL*
- A unified semantics for a family of modal logics with propositional constants
- A formal characterisation of Hamblin's action-state semantics
- A deep inference system for the modal logic S5
- On a rule-based interpretation of default conditionals
- Neighbourhood semantics for modal relevant logics
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 Q4698331)
