Search results
From MaRDI portal
- CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC 2023-03-02 Paper Coherence in inquisitive first-order logic 2022-08-02 Paper Inquisitive Logic 2022-06-09 Paper...10 bytes (15 words) - 04:13, 12 December 2023
- 2023-03-24 Paper A logic of knowing why 2023-03-17 Paper MEREOLOGICAL BIMODAL LOGICS 2022-11-08 Paper Inquisitive logic as an epistemic logic of knowing how...10 bytes (13 words) - 03:09, 25 September 2023
- Detection System Based on ATT&CK Framework 2022-10-14 Paper Inquisitive logic as an epistemic logic of knowing how 2022-09-16 Paper Consensus on Dynamic Stochastic...10 bytes (13 words) - 00:35, 25 September 2023
- Theorems in Radical Inquisitive Semantics 2020-02-04 Paper First-order intuitionistic epistemic logic 2020-01-30 Paper Term-sequence-modal logics 2020-01-30 Paper...10 bytes (13 words) - 01:55, 25 September 2023
- 2018-11-02 Paper Inquisitive Semantics 2018-09-28 Paper Inquisitive dynamic epistemic logic 2017-03-09 Paper On the semantics and logic of declaratives...10 bytes (13 words) - 03:12, 25 September 2023
- semantics for inquisitive logic via choice-free duality 2020-03-04 Paper Disjunction and existence properties in inquisitive first-order logic 2019-12-11...10 bytes (13 words) - 18:24, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q5884976 2023-03-24 Paper Inquisitive logic as an epistemic logic of knowing how 2022-09-16 Paper An Epistemic Interpretation...10 bytes (13 words) - 01:28, 7 October 2023
- independence-friendly logic 2015-02-12 Paper ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC 2013-06-18 Paper On the logic of interventionist counterfactuals...10 bytes (13 words) - 18:19, 24 September 2023
- propositional dynamic logic 2017-01-31 Paper Multi-type Sequent Calculi 2016-09-17 Paper A Multi-type Calculus for Inquisitive Logic 2016-09-09 Paper Dynamic...10 bytes (13 words) - 18:19, 24 September 2023
- paraconsistent G\"{o}del logic 2023-03-24 Paper Paraconsistent Gödel modal logic 2022-12-07 Paper Crisp bi-G\"{o}del modal logic and its paraconsistent expansion...10 bytes (13 words) - 18:42, 24 September 2023
- STONE DUALITY 2020-04-17 Paper Algebraic and topological semantics for inquisitive logic via choice-free duality 2020-03-04 Paper COMPLETE ADDITIVITY AND MODAL...10 bytes (15 words) - 12:07, 6 October 2023
- 2019-09-03 Paper Non normal logics: semantic analysis and proof theory 2019-03-12 Paper Labelled sequent calculus for inquisitive logic 2017-11-22 Paper...10 bytes (13 words) - 18:24, 24 September 2023
- FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC 2022-05-25 Paper https://portal.mardi4nfdi.de/entity/Q3384064 2021-12-14 Paper INQUISITIVE BISIMULATION 2021-07-12...10 bytes (14 words) - 02:30, 7 October 2023
- properties of sequential actions 2024-08-05 Paper Free choice in modal inquisitive logic 2023-04-24 Paper https://portal.mardi4nfdi.de/entity/Q5878381 2023-02-21...10 bytes (13 words) - 03:09, 25 September 2023
- proof-theoretic validity 2022-11-22 Paper Proof-theoretic semantics and inquisitive logic 2021-11-04 Paper...10 bytes (13 words) - 09:08, 25 September 2023
- epistemic logic in a non-classical setting 2021-12-01 Paper Epistemic extensions of substructural inquisitive logics 2021-11-09 Paper Inquisitive propositional...10 bytes (13 words) - 11:24, 7 October 2023
- CLASSICAL PROPOSITIONAL LOGIC 2020-08-26 Paper Countably many weakenings of Belnap-Dunn logic 2020-03-27 Paper DYNAMIC GRADED EPISTEMIC LOGIC 2020-02-20 Paper...10 bytes (13 words) - 16:34, 6 October 2023
- Paper Goldblatt-Thomason for LE-logics 2018-09-21 Paper Semi De Morgan logic properly displayed 2018-09-20 Paper THE LOGIC OF RESOURCES AND CAPABILITIES...10 bytes (15 words) - 11:11, 6 October 2023
- IN MODAL LOGIC 2018-01-11 Paper A propositional dynamic logic for instantial neighborhood models 2017-11-22 Paper Quotient dynamics: the logic of abstraction...10 bytes (13 words) - 13:46, 10 December 2023
- indexicality 2024-05-27 Paper Action models in inquisitive logic 2023-03-15 Paper QUESTIONS IN TWO-DIMENSIONAL LOGIC 2022-11-08 Paper...10 bytes (15 words) - 12:33, 7 October 2023
