scientific article; zbMATH DE number 755666
From MaRDI portal
Publication:4698331
Recommendations
Cited in
(only showing first 100 items - show all)- Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
- Reprint of: Reasoning about knowledge of unawareness revisited
- A Topological-algebraic Approach to the Compactness Theorem of Classical Logic
- Rosser provability and normal modal logics
- Constructive embedding from extensions of logics of strict implication into modal logics
- Modal-epistemic arithmetic and the problem of quantifying in
- Indexed actuality
- Logics for approximate entailment in ordered universes of discourse
- A note on the issue of cohesiveness in canonical models
- A note on the modal and temporal logics for \(n\)-dimensional spacetime
- Modal logics of succession for 2-dimensional integral spacetime
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
- Proof systems for super-strict implication
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
- Associative substitutional semantics and quantified modal logic
- Generalizing deontic action logic
- Modelling sources of inconsistent information in paraconsistent modal logic
- On the 3D visualisation of logical relations
- Natural kind semantics for a classical essentialist theory of kinds
- scientific article; zbMATH DE number 7561348 (Why is no real title available?)
- Why the logical hexagon?
- Interrogative belief revision in modal logic
- Evaluations of epistemic components for resolving the muddy children puzzle
- A unified semantics for a family of modal logics with propositional constants
- Coherence for modalities
- Temporal reference in linear tense logic
- On Kripke completeness of modal predicate logics around quantified \textbf{K5}
- Quantified temporal alethic boulesic doxastic logic
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- A plea for logical objects
- Three dual ontologies
- AN ESCAPE FROM VARDANYAN’S THEOREM
- Probabilistic behaviours of reactive agents
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Lattice-valued modal propositional logic based on M-lattice implication algebras
- Derivability in certain subsystems of the logic of proofs is _2p-complete
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts
- Interrogative belief revision based on epistemic strategies
- The modal logic of agreement and noncontingency
- Strict identity with no overlap
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- Negative modalities in the light of paraconsistency
- Relating truth, knowledge and belief in epistemic states
- Lattice-valued modal propositional logic and its completeness
- Proof theory for functional modal logic
- Rationalizing epistemic bounded rationality
- scientific article; zbMATH DE number 7243672 (Why is no real title available?)
- SLAP: specification logic of actions with probability
- The fixed point property in modal logic
- Extended quantum logic
- Some Rough Consequence Logics and their Interrelations
- A note on the complexity of \textbf{S4.2}
- Mirroring theorems in free logic
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- A formal characterisation of Hamblin's action-state semantics
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- Approximations of modal logics: K and beyond
- Investigations into quantified modal logic
- Carnap's theory of descriptions and its problems
- An update logic for information systems
- The monodic fragment of propositional term modal logic
- Non-Boolean classical relevant logics. II: Classicality through truth-constants
- An adaptive logic based on Jaśkowski's approach to paraconsistency
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
- Automorphisms of the lattice of classical modal logics
- Effective completeness theorems for modal logic
- On modal logic of deductive closure
- A fuzzy document retrieval method based on two-valued indexing
- Resolution principles in possibilistic logic
- Strong completeness theorems for weak logics of common belief
- Completeness theorems for -fragment of first-order modal logic
- Multimodal logic programming
- Introspective unawareness and observable choice
- Decidable fragments of first-order modal logics
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- A complete uniform substitution calculus for differential dynamic logic
- A formal semantics for SPKI
- Multimodal Separation Logic for Reasoning About Operational Semantics
- Unawareness with ``possible possible worlds
- Reasoning about proof and knowledge
- Abductive reasoning in neural-symbolic systems
- Transductions in arithmetic
- Closures of may-, should- and must-convergences for contextual equivalence
- Combinations of tense and modality for predicate logic
- On \(K\)-modal BL-logics
- Revising beliefs on the basis of evidence
- Automated Kantian ethics: a faithful implementation
- PROVING UNPROVABILITY
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- Fibring: Completeness preservation
- Reflections on Fourteen Cryptic Issues Concerning the Nature of Statistical Inference*
- CAN MODALITIES SAVE NAIVE SET THEORY?
- Lattice NExtS4 from the embedding theorem viewpoint
- Interpretations of intuitionist logic in non-normal modal logics
- Intuitionism and the modal logic of vagueness
- A modified subformula property for the modal logic KG1
- The broadest necessity
- Potentiality and Contradiction in Quantum Mechanics
- 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)
