Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/journals/flap:"
@article{DBLP:journals/flap/00010ATB23, author = {Antonio Rago and Fabrizio Russo and Emanuele Albini and Francesca Toni and Pietro Baroni}, title = {Explaining Classifiers' Outputs with Causal Models and Argumentation}, journal = {{FLAP}}, volume = {10}, number = {3}, pages = {421--509}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/00010ATB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/0001K23, author = {Tatsuya Abe and Daisuke Kimura}, title = {Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding}, journal = {{FLAP}}, volume = {10}, number = {4}, pages = {511--530}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/0001K23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/0001R23, author = {Federico Cerutti and Yvonne McDermott Rees}, title = {A Formal Argumentation Exercise on the Karad{\v{z}}i{\'{c}} Trial Judgment}, journal = {{FLAP}}, volume = {10}, number = {3}, pages = {319--339}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/0001R23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/0002LR23, author = {Jos{\'{e}} Miguel Blanco and Sandra M. L{\'{o}}pez and Marcos M. Recio}, title = {On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics}, journal = {{FLAP}}, volume = {10}, number = {1}, pages = {1--18}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/0002LR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AlasowP23, author = {Abdirahman Alasow and Marek A. Perkowski}, title = {Quantum Algorithms for Unate and Binate Covering Problems with Application to Finite State Machine Minimization}, journal = {{FLAP}}, volume = {10}, number = {6}, pages = {993--1023}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AlasowP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Audibert0ATL23, author = {Rafael Baldasso Audibert and Henrique Lemos and Pedro H. C. Avelar and Anderson R. Tavares and Lu{\'{\i}}s C. Lamb}, title = {On the Evolution of {AI} and Machine Learning: Towards a Meta-level Measuring and understanding Impact, Influence and Leadership at Premier {AI} Conferences}, journal = {{FLAP}}, volume = {10}, number = {5}, pages = {693--817}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Audibert0ATL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Baker023, author = {Clayton Kevin Baker and Thomas Meyer}, title = {Do Humans Find Postulates of Belief Change Plausible?}, journal = {{FLAP}}, volume = {10}, number = {2}, pages = {249--267}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Baker023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Baroni0G23, author = {Pietro Baroni and Federico Cerutti and Massimiliano Giacomin}, title = {Decomposing Semantics in Abstract Argumentation}, journal = {{FLAP}}, volume = {10}, number = {3}, pages = {341--392}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Baroni0G23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BedroodBLSS23, author = {Mahta Bedrood and Giuseppina Barbieri and Giacomo Lenzi and Farhad Sajadian and Arsham Borumand Saeid}, title = {A Special Type of Ideals in MV-algebras of Continuous Functions}, journal = {{FLAP}}, volume = {10}, number = {4}, pages = {531--554}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BedroodBLSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Behrisch23, author = {Mike Behrisch}, title = {On Weak Bases for Boolean Relational Clones and Reductions for Computational Problems}, journal = {{FLAP}}, volume = {10}, number = {6}, pages = {1059--1103}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Behrisch23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BeierleRST23, author = {Christoph Beierle and Marco Ragni and Frieder Stolzenburg and Matthias Thimm}, title = {Joining Formal and Cognitive Reasoning}, journal = {{FLAP}}, volume = {10}, number = {2}, pages = {115--119}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BeierleRST23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BhadraH23, author = {Meghna Bhadra and Steffen H{\"{o}}lldobler}, title = {The Weak Completion Semantics and Counterexamples}, journal = {{FLAP}}, volume = {10}, number = {2}, pages = {121--154}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BhadraH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Castagna23, author = {Federico Castagna}, title = {Dialectical Argument Game Proof Theories for Classical Logic}, journal = {{FLAP}}, volume = {10}, number = {3}, pages = {279--317}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Castagna23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DAgostinoDL23, author = {Marcello D'Agostino and Fabio Aurelio D'Asaro and Costanza Larese}, title = {Advancing the Boundaries of Formal Argumentation: Reflections on the AI\({}^{\mbox{3}}\) 2021 Special Issue}, journal = {{FLAP}}, volume = {10}, number = {3}, pages = {269--277}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DAgostinoDL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DossenaM23, author = {Riccardo Dossena and Lorenzo Magnani}, title = {Optical Microscopes Reveal the Hyperreal World}, journal = {{FLAP}}, volume = {10}, number = {4}, pages = {603--627}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DossenaM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Ferenczi23, author = {Mikl{\'{o}}s Ferenczi}, title = {On the Representation of Transposition Algebras and Non-commutative Cylindric Algebras}, journal = {{FLAP}}, volume = {10}, number = {1}, pages = {19--28}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Ferenczi23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayR23, author = {Dov M. Gabbay and Gadi Rozenberg}, title = {Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks}, journal = {{FLAP}}, volume = {10}, number = {5}, pages = {909--966}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/HaldimannBK23, author = {Jonas Philipp Haldimann and Christoph Beierle and Gabriele Kern{-}Isberner}, title = {Epistemic State Mappings among Ranking Functions and Total Preorders}, journal = {{FLAP}}, volume = {10}, number = {2}, pages = {155--191}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/HaldimannBK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/HohnLMG23, author = {Sviatlana H{\"{o}}hn and Barbara Lewandowska{-}Tomaszczyk and Sjouke Mauw and Dov M. Gabbay}, title = {Dripping the Poison: The Instruments of Bias. {A} Qualitative Case Study of News Articles in Four Languages over Nine Years}, journal = {{FLAP}}, volume = {10}, number = {4}, pages = {555--585}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/HohnLMG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kamide23, author = {Norihiro Kamide}, title = {Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation}, journal = {{FLAP}}, volume = {10}, number = {6}, pages = {1025--1058}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kamide23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/LenziV23, author = {Giacomo Lenzi and Gaetano Vitale}, title = {Logical Complexity of Spectra of Abelian {\(\mathscr{l}\)}-groups}, journal = {{FLAP}}, volume = {10}, number = {1}, pages = {29--35}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/LenziV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lukac23, author = {Martin Lukac}, title = {Editorial Note for the Speical Issue on Multiple Valued Logic 2023}, journal = {{FLAP}}, volume = {10}, number = {6}, pages = {969--971}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lukac23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MoragaSS23, author = {Claudio Moraga and Radomir S. Stankovic and Milena Stankovic}, title = {\emph{p}-valued Maiorana-McFarland Functions Structure of their Reed-Muller Spectra}, journal = {{FLAP}}, volume = {10}, number = {6}, pages = {1131--1151}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MoragaSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/NagayamaSB23, author = {Shinobu Nagayama and Tsutomu Sasao and Jon T. Butler}, title = {On Representation of Maximally Asymmetric Functions Based on Decision Diagrams}, journal = {{FLAP}}, volume = {10}, number = {6}, pages = {1105--1130}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/NagayamaSB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/NakajimaYI23, author = {Kazuharu Nakajima and Yasushi Yuminaka and Yosuke Iijima}, title = {Multi-Valued Data Transmission Quality Evaluation Using Two-Dimensional {PAM-4} Symbol Mapping}, journal = {{FLAP}}, volume = {10}, number = {6}, pages = {973--991}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/NakajimaYI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Olkhovikov23, author = {Grigory K. Olkhovikov}, title = {On the Completeness of Some First-order Extensions of {C}}, journal = {{FLAP}}, volume = {10}, number = {1}, pages = {57--114}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Olkhovikov23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Pawlowski23, author = {Pawel Pawlowski}, title = {Height of Valuations in Non-deterministic Semantics for Modal Logic}, journal = {{FLAP}}, volume = {10}, number = {4}, pages = {587--601}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Pawlowski23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PisanoCOS23, author = {Giuseppe Pisano and Roberta Calegari and Andrea Omicini and Giovanni Sartor}, title = {Burden of Persuasion: {A} Meta-argumentation Approach}, journal = {{FLAP}}, volume = {10}, number = {3}, pages = {393--420}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00059.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PisanoCOS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RibeiroT23, author = {Jandson S. Ribeiro and Matthias Thimm}, title = {Measuring Inconsistency with the Tableau Method}, journal = {{FLAP}}, volume = {10}, number = {5}, pages = {643--691}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RibeiroT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RogozinS23, author = {Daniel Rogozin and Ilya Shapirovsky}, title = {On Decidable Extensions of Propositional Dynamic Logic with Converse}, journal = {{FLAP}}, volume = {10}, number = {4}, pages = {629--642}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00060.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RogozinS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Schlechta23, author = {Karl Schlechta}, title = {On Yablo's Construction}, journal = {{FLAP}}, volume = {10}, number = {5}, pages = {851--907}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Schlechta23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Schumann23, author = {Andrew Schumann}, title = {Rabbi Ishmael's Thirteen Hermeneutic Rules as a Kind of Logic}, journal = {{FLAP}}, volume = {10}, number = {1}, pages = {37--56}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00057.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Schumann23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/WilhelmHKSB23, author = {Marco Wilhelm and Diana Howey and Gabriele Kern{-}Isberner and Kai Sauerwald and Christoph Beierle}, title = {Activation-based Conditional Inference}, journal = {{FLAP}}, volume = {10}, number = {2}, pages = {221--247}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/WilhelmHKSB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/WitDM23, author = {Vincent de Wit and Dragan Doder and John{-}Jules Ch. Meyer}, title = {Probabilistic Deontic Logics for Reasoning about Uncertain Norms}, journal = {{FLAP}}, volume = {10}, number = {2}, pages = {193--220}, year = {2023}, url = {https://collegepublications.co.uk/downloads/ifcolog00058.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/WitDM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ZhangL23, author = {Xiaoxue Zhang and Hongxing Liu}, title = {The Annihilating-ideal Graphs of MV-algebras}, journal = {{FLAP}}, volume = {10}, number = {5}, pages = {819--849}, year = {2023}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00061.pdf}, timestamp = {Mon, 15 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ZhangL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AlvinCM22, author = {Jos{\'{e}} Goudet Alvin and Arthur Francisco Schwerz Cahali and Hugo Luiz Mariano}, title = {Induced morphisms between Heyting-valued models}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {5--40}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AlvinCM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AmanteaRSGB22, author = {Ilaria Angela Amantea and Livio Robaldo and Emilio Sulis and Guido Governatori and Guido Boella}, title = {Business Process Modelling in Healthcare and Compliance Management: {A} Logical Framework}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {1131--1154}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AmanteaRSGB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AntoniouABBCGRS22, author = {Grigoris Antoniou and Katie Atkinson and George Baryannis and Sotiris Batsakis and Luigo Di Caro and Guido Governatori and Livio Robaldo and Giovanni Siragusa and Ilias Tachmazidis}, title = {Explainable Reasoning with Legal Big Data: {A} Layered Framework}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {1155--1170}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AntoniouABBCGRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ArisakaDST22, author = {Ryuta Arisaka and J{\'{e}}r{\'{e}}mie Dauphin and Ken Satoh and Leendert van der Torre}, title = {Multi-agent Argumentation and Dialogue}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {921--954}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/ArisakaDST22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BabuUTU22, author = {Hafiz Md. Hasan Babu and Khandaker Mohammad Mohi Uddin and Tamanna Tabassum and Mohammed Nasir Uddin}, title = {{DNA} Technology for Multi-Valued Data Storage using Read Only Memory}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {781--804}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BabuUTU22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BaoPP22, author = {Maggie Bao and Cole Powers and Marek A. Perkowski}, title = {Quantum Machine Learning, Logic Minimization, and Circuit Design by Optimizing Ternary-Input Binary-Output Kronecker Reed-Muller Forms}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {733--780}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BaoPP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Barbosa22, author = {Lu{\'{\i}}s Soares Barbosa}, title = {Coalgebra for the working software engineer}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {41--92}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Barbosa22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BerniFM22, author = {Jean Cerqueira Berni and Rodrigo Figueiredo and Hugo Luiz Mariano}, title = {On the order theory of C\({}^{\mbox{{\(\infty\)}}}\)-reduced C\({}^{\mbox{{\(\infty\)}}}\)-rings and applications}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {93--134}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BerniFM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CabrioV22, author = {Elena Cabrio and Serena Villata}, title = {A Data-informed Analysis of Argument Mining}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {825--854}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CabrioV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ConiglioOHP22, author = {Marcelo Esteban Coniglio and Aldo Figallo Orellano and Alejandro Hern{\'{a}}ndez{-}Tello and Miguel P{\'{e}}rez{-}Gaspar}, title = {G'\({}_{\mbox{3}}\) as the logic of modal 3-valued Heyting algebras}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {175--198}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/ConiglioOHP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CostaH22, author = {Vaston Con{\c{c}}alves da Costa and Edward Hermann Haeusler}, title = {Strong normalization for Np-systems via Mimp-graphs}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {135--160}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CostaH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DOttavianoSSV22, author = {Itala M. Loffredo D'Ottaviano and Ricardo Sousa Silvestre and Leandro Suguitani and Petrucio Viana}, title = {The Proceedings of the {XIX} {EBL} ? 19th Brazilian Logic Conference, 2019. {A} preface}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {1--4}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/DOttavianoSSV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Demolombe22, author = {Robert Demolombe}, title = {Causality and Responsibility in the Context of Multiple Agents}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {583--606}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00054}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Demolombe22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DongLMT22, author = {Huimin Dong and Beishui Liao and R{\'{e}}ka Markovich and Leendert van der Torre}, title = {Defeasible Deontic Logic: Arguing about Permission and Obligation}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {1025--1086}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/DongLMT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gabbay022, author = {Dov M. Gabbay and John Woods}, title = {The Law of Evidence and Labelled Deduction: Ten Years Later}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {955--1024}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Gabbay022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GriloTL22, author = {Erick Simas Grilo and Daniel Toledo and Bruno Lopes}, title = {A logical framework to reason about Reo circuits}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {199--254}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/GriloTL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Guhe22, author = {Eberhard Guhe}, title = {Defeasible reasoning in Navya-Nyaya}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {255--286}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Guhe22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Haeusler22, author = {Edward Hermann Haeusler}, title = {Exponentially huge natural deduction proofs are redundant: Preliminary results on M\({}_{\mbox{{\(\supset\)}}}\)}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {287--326}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Haeusler22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/IijimaY22, author = {Yosuke Iijima and Yasushi Yuminaka}, title = {Efficient {PAM-4} Symbol Estimation Using Soft Clustering}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {675--690}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/IijimaY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kyriazis22, author = {Gregory A. Kyriazis}, title = {Extensive measurement with unrestricted concatenation and no maximal elements}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {327--346}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Kyriazis22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/LukacN22, author = {Martin Lukac and Shinbo Nagayama}, title = {Editorial Note for the Special Issue on Multiple-Valued Logic}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {651--652}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/LukacN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MaranhaoCPT22, author = {Juliano Maranh{\~{a}}o and Giovanni Casini and Gabriella Pigozzi and Leendert van der Torre}, title = {Normative Change: An {AGM} Approach}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {855--920}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/MaranhaoCPT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MoragaSS22, author = {Claudio Moraga and Radomir S. Stankovic and Milena Stankovic}, title = {Ternary Functions with Bent Reed-Muller-Fourier Spectra}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {805--824}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/MoragaSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MoritaIKT22, author = {Shoji Morita and Teijiro Isokawa and Naotake Kamiura and Hitoshi Tabuchi}, title = {Data-Classification-Based Determination for Ophthalmological Examination Categories using Machine Learning}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {691--710}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/MoritaIKT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mortari22, author = {Cezar A. Mortari}, title = {Some classical modal logics with a necessity/impossibility operator}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {495--522}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Mortari22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Noguez22, author = {Pedro Noguez}, title = {Logicism in the eyes of the author of Tractatus Logico-Philosophicus (and of Philosophical Remarks)}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {523--540}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Noguez22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RangelM22, author = {Dimi Rocha Rangel and Hugo Luiz Mariano}, title = {An algebraic (set) theory of surreal numbers, {I}}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {347--404}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/RangelM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RibeiroM22, author = {Hugo Rafael de Oliveira Ribeiro and Hugo Luiz Mariano}, title = {Horn-geometric axioms for faithfully quadratic rings}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {405--418}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/RibeiroM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RiosSPM22, author = {Gabriel Bittencourt Rios and Daniel de Almeida Souza and Darllan Conei{\c{c}}{\~{a}}o Pinto and Hugo Luiz Mariano}, title = {Connecting abstract logics and adjunctions in the theory of ({\(\pi\)}-) institutions: Some theoretical remarks and applications}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {445--494}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/RiosSPM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RobertoM22, author = {Kaique Matias de Andrade Roberto and Hugo Luiz Mariano}, title = {On superrings of polynomials and algebraically closed multifields}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {419--444}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/RobertoM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Sanz22, author = {Wagner Sanz}, title = {Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {541--572}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Sanz22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Sarmento22, author = {Garibaldi Sarmento}, title = {A note on Tarski's remarks about the non-admissibility of a general theory of semantics}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {573--582}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Sarmento22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ShinOH22, author = {Duckgyu Shin and Naoya Onizawa and Takahiro Hanyu}, title = {Implementation of {CMOS} Invertible Logic on Zynq-SoC Platform: {A} Case Study of Training {BNN}}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {653--674}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/ShinOH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Silva22, author = {Samuel G. Da Silva}, title = {The generalized continuum hypothesis and two parametrized families of hit-and-miss games}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {161--174}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Silva22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/StankovicSMA22, author = {Radomir S. Stankovic and Milena Stankovic and Claudio Moraga and Jaakko Astola}, title = {Construction Algorithms for Bent Functions Derived from their Particular Properties}, journal = {{FLAP}}, volume = {9}, number = {3}, pages = {711--732}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00055}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/StankovicSMA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TorreP22, author = {Leendert van der Torre and Xavier Parent}, title = {Detachment in Normative Systems: Examples, Inference Patterns, Properties}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {1087--1130}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/TorreP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Wilson22, author = {Phillip L. Wilson}, title = {Quantum Immortality and Non-classical Logic}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {635--650}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00054}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Wilson22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/XieL22, author = {Fei Xie and Hongxing Liu}, title = {States and Internal States on Ehoops}, journal = {{FLAP}}, volume = {9}, number = {1}, pages = {607--635}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00054}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/XieL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Aberdein21, author = {Andrew Aberdein}, title = {Dialogue Types, Argumentation Schemes and Mathematical Practice: Douglas Walton and Mathematics}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {159--182}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Aberdein21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Akinkunmi21, author = {Babatunde Opeoluwa Akinkunmi}, title = {Events as Located Situations: Ontological Commitments in the Problem of Individuating Events}, journal = {{FLAP}}, volume = {8}, number = {3}, pages = {877--909}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00045}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Akinkunmi21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AlfanoGPSS21, author = {Gianvincenzo Alfano and Sergio Greco and Francesco Parisi and Gerardo I. Simari and Guillermo Ricardo Simari}, title = {On the Incremental Computation of Semantics in Dynamic Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1749--1792}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AlfanoGPSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AlliotMDDC21, author = {Jean{-}Marc Alliot and Marta Cialdea Mayer and Robert Demolombe and Mart{\'{\i}}n Di{\'{e}}guez and Luis Fari{\~{n}}as del Cerro}, title = {A Framework for Modelling Molecular Interaction Maps}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {1917--1952}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AlliotMDDC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AntoniouBBGILRS21, author = {Grigoris Antoniou and George Baryannis and Sotiris Batsakis and Guido Governatori and Mohammad Badiul Islam and Qing Liu and Livio Robaldo and Giovanni Siragusa and Ilias Tachmazidis}, title = {Large-scale Legal Reasoning with Rules and Databases}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {911--940}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AntoniouBBGILRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Araszkiewicz21, author = {Michal Araszkiewicz}, title = {Critical Questions to Argumentation Schemes in Statutory Interpretation}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {291--320}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Araszkiewicz21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AraszkiewiczZ21, author = {Michal Araszkiewicz and Tomasz Zurek}, title = {Preface}, journal = {{FLAP}}, volume = {8}, number = {9}, pages = {2363--2372}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00051}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AraszkiewiczZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ArieliBHS21, author = {Ofer Arieli and AnneMarie Borg and Jesse Heyninck and Christian Stra{\ss}er}, title = {Logic-Based Approaches to Formal Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1793--1898}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/ArieliBHS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AtkinsonB21, author = {Katie Atkinson and Trevor J. M. Bench{-}Capon}, title = {Value-based Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1543--1588}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AtkinsonB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BalbianiBDF21, author = {Philippe Balbiani and Joseph Boudou and Mart{\'{\i}}n Di{\'{e}}guez and David Fern{\'{a}}ndez{-}Duque}, title = {Bisimulations for Intuitionistic Temporal Logics}, journal = {{FLAP}}, volume = {8}, number = {8}, pages = {2265--2286}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00050}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BalbianiBDF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BalbianiGR21, author = {Philippe Balbiani and {\c{C}}igdem Gencer and Maryam Rostamigiv}, title = {About the Unification Type of Fusions of Modal Logic}, journal = {{FLAP}}, volume = {8}, number = {3}, pages = {671--706}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00045}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BalbianiGR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BaumannDMW21, author = {Ringo Baumann and Sylvie Doutre and Jean{-}Guy Mailly and Johannes Peter Wallner}, title = {Enforcement in Formal Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1623--1678}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BaumannDMW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BaumeisterNR21, author = {Dorothea Baumeister and Daniel Neugebauer and J{\"{o}}rg Rothe}, title = {Collective Acceptability in Abstract Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1503--1542}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BaumeisterNR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BellucciCP21, author = {Francesco Bellucci and Daniele Chiffi and Ahti{-}Veikko Pietarinen}, title = {Beta Assertive Graphs: Proofs of Assertions with Quantification}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {353--376}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BellucciCP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Bentkamp21, author = {Alexander Bentkamp}, title = {The Embedding Path Order for Lambda-Free Higher-Order Terms}, journal = {{FLAP}}, volume = {8}, number = {10}, pages = {2447--2470}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00052}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Bentkamp21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BezerraV21, author = {Edson Bezerra and Giorgio Venturi}, title = {Squeezing Arguments and the Plurality of Informal Notions}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {1899--1916}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BezerraV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BikakisCDFP21, author = {Antonis Bikakis and Andrea Cohen and Wolfgang Dvor{\'{a}}k and Giorgos Flouris and Simon Parsons}, title = {Joint Attacks and Accrual in Argumentation Frameworks}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1437--1502}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BikakisCDFP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Bistarelli021, author = {Stefano Bistarelli and Francesco Santini}, title = {Weighted Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1589--1622}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Bistarelli021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CarraraCF21, author = {Massimiliano Carrara and Daniele Chiffi and Ciro De Florio}, title = {Some Remarks on Assertion and Proof}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {321--328}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CarraraCF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CarraraS21, author = {Massimiliano Carrara and Andrea Strollo}, title = {{DLEAC} and the Rejection Paradox}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {377--396}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CarraraS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CayrolCL21, author = {Claudette Cayrol and Andrea Cohen and Marie{-}Christine Lagasquie{-}Schiex}, title = {Higher-Order Interactions (Bipolar or not) in Abstract Argumentation: {A} State of the Art}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1339--1436}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CayrolCL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Chiffi21, author = {Daniele Chiffi}, title = {Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {397--422}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Chiffi21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Conversano21, author = {Annalisa Conversano}, title = {Groups Definable in o-minimal Structures: Various Properties and a Diagram}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {2235--2256}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Conversano21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CostantiniGSB21, author = {Federico Costantini and Fausto Galvan and Marco Alvise de Stefani and Sebastiano Battiato}, title = {Assessing "Information Quality" in IoT Forensics: Theoretical Framework and Model Implementation}, journal = {{FLAP}}, volume = {8}, number = {9}, pages = {2373--2406}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00051}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CostantiniGSB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Cummings21, author = {Louise Cummings}, title = {Douglas Walton and the Covid-19 crisis}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {31--52}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Cummings21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DAgostinoLM21, author = {Marcello D'Agostino and Costanza Larese and Sanjay Modgil}, title = {Towards Depth-bounded Natural Deduction for Classical First-order Logic}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {423--452}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/DAgostinoLM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvurecenskijZ21, author = {Anatolij Dvurecenskij and Omid Zahiri}, title = {Weak Pseudo EMV-algebras. {I:} Basic Properties}, journal = {{FLAP}}, volume = {8}, number = {10}, pages = {2365--2400}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00052}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/DvurecenskijZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvurecenskijZ21a, author = {Anatolij Dvurecenskij and Omid Zahiri}, title = {Weak Pseudo EMV-algebras. {II:} Representation and Subvarieties}, journal = {{FLAP}}, volume = {8}, number = {10}, pages = {2401--2434}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00052}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/DvurecenskijZ21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FaitP21, author = {Michal Fait and Giuseppe Primiero}, title = {{HTLC:} Hyperintensional Typed Lambda Calculus}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {469--496}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/FaitP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FerraroL21, author = {Gabriela Ferraro and Ho{-}Pun Lam}, title = {{NLP} Techniques for Normative Mining}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {941--974}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/FerraroL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Finocchiaro21, author = {Maurice Finocchiaro}, title = {Argumentation Schemes for Composition and Division Arguments: {A} Critique of Walton's Account}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {53--74}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Finocchiaro21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Florio21, author = {Ciro De Florio}, title = {Reflections on Logics for Assertion and Denial}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {453--468}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Florio21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Francez21, author = {Nissim Francez}, title = {Bilateralism based on Corrective Denial}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {497--510}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Francez21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Francez21a, author = {Nissim Francez}, title = {On the Role of Aristotle's Connexive Axioms in Non-connexive Logics}, journal = {{FLAP}}, volume = {8}, number = {3}, pages = {659--670}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00045}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Francez21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gabbay21, author = {Dov M. Gabbay}, title = {What is Negation in a System 2020?}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {1977--2034}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Gabbay21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayGST21, author = {Dov M. Gabbay and Massimiliano Giacomin and Guillermo Ricardo Simari and Matthias Thimm}, title = {Preface}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1335--1338}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/GabbayGST21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GomezF21, author = {Cristina Bar{\'{e}}s G{\'{o}}mez and Matthieu Fontaine}, title = {Defeasibility and Non-monotonicity in Dialogues}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {329--352}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/GomezF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GovernatoriMO21, author = {Guido Governatori and Michael J. Maher and Francesco Olivieri}, title = {Strategic Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1679--1748}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/GovernatoriMO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Govier21, author = {Trudy Govier}, title = {Appealing to Ignorance? De-extinction and Accounts of a Fallacy}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {115--136}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Govier21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GrassiV21, author = {Alessia Grassi and Mauro Vallati}, title = {An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {1065--1082}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/GrassiV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/HaanP21, author = {Ronald de Haan and Iris van de Pol}, title = {On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with {S5} Models}, journal = {{FLAP}}, volume = {8}, number = {3}, pages = {621--658}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00045}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/HaanP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Hansen21, author = {Hans V. Hansen}, title = {Aspects of Walton's Theory of Argumentation Schemes}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {195--218}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Hansen21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/HeyninckS21, author = {Jesse Heyninck and Christian Stra{\ss}er}, title = {A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities}, journal = {{FLAP}}, volume = {8}, number = {3}, pages = {737--808}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00045}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/HeyninckS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/IorgulescK21, author = {Afrodita Iorgulesc and Michael Kinyon}, title = {Two Generalizations of Bounded Involutive Lattices and of Ortholattices}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {2173--2218}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/IorgulescK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Irvine21, author = {Andrew David Irvine}, title = {A Science Like Any Other}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {2219--2234}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Irvine21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Jespersen21, author = {Bj{\o}rn Jespersen}, title = {Two Tales of the Turnstile}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {511--530}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Jespersen21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kavvos21, author = {G. A. Kavvos}, title = {Intensionality, Intensional Recursion and the G{\"{o}}del-L{\"{o}}b Axiom}, journal = {{FLAP}}, volume = {8}, number = {8}, pages = {2287--2312}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00050}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Kavvos21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kurbis21, author = {Nils K{\"{u}}rbis}, title = {Normalisation for Bilateral Classical Logic with some Philosophical Remarks}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {531--556}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Kurbis21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kurbis21a, author = {Nils K{\"{u}}rbis}, title = {Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {2257--2259}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Kurbis21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KuznetsMS21, author = {Roman Kuznets and Sonia Marin and Lutz Stra{\ss}burger}, title = {Justification Logic for Constructive Modal Logic}, journal = {{FLAP}}, volume = {8}, number = {8}, pages = {2313--2332}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00050}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/KuznetsMS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lemanski21, author = {Jens Lemanski}, title = {Extended Syllogistics in Calculus {CL}}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {557--576}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Lemanski21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Luna21, author = {Laureano Luna}, title = {Proving Cleanthes Wrong}, journal = {{FLAP}}, volume = {8}, number = {3}, pages = {707--736}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00045}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Luna21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mackor21, author = {Anne Ruth Mackor}, title = {Different Ways of Being Naked. {A} Scenario Approach to the Naked Statistical Evidence Problem}, journal = {{FLAP}}, volume = {8}, number = {9}, pages = {2407--2433}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00051}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Mackor21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MadarazSS21, author = {Judit X. Madar{\'{a}}sz and Mike Stannett and Gergely Sz{\'{e}}kely}, title = {Groups of Worldview Transformations Implied by Isotropy of Space}, journal = {{FLAP}}, volume = {8}, number = {3}, pages = {809--876}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00045}, timestamp = {Mon, 31 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/MadarazSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/McBurneyP21, author = {Peter McBurney and Simon Parsons}, title = {Argument Schemes and Dialogue Protocols: Doug Walton's Legacy in Artificial Intelligence}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {263--290}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/McBurneyP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Morato21, author = {Vittorio Morato}, title = {Assertions of Counterfactuals and Epistemic Irresponsibility}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {577--592}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Morato21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Paglieri21, author = {Fabio Paglieri}, title = {Less Scheming, More Typing: Musings on the Waltonian Legacy in Argument Technologies}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {219--244}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Paglieri21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PaivaA21, author = {Valeria de Paiva and Sergei Artemov}, title = {Preface to Intiutionistic Modal Logic 2017}, journal = {{FLAP}}, volume = {8}, number = {8}, pages = {2261--2264}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00050}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/PaivaA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Parent21, author = {Xavier Parent}, title = {A Modal Characterisation of an Intuitionistic {I/O} Operation}, journal = {{FLAP}}, volume = {8}, number = {8}, pages = {2349--2362}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00050}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Parent21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Radulescu21, author = {Dan Constantin Radulescu}, title = {Variation and Pattern in the 3-term Syllogisms and the Biliteral Sorites of Types Barbara, Darapti and Darii}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {1953--1976}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Radulescu21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Reed21, author = {Chris Reed}, title = {The Waltonian Foundations of Argument Technology}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {245--262}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Reed21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Robles21, author = {Gemma Robles}, title = {The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {2035--2072}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Robles21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RoblesM21, author = {Gemma Robles and Jos{\'{e}} M. M{\'{e}}ndez}, title = {A 2 Set-up Routley Semantics for the 4-valued Logic {PL4}}, journal = {{FLAP}}, volume = {8}, number = {10}, pages = {2435--2446}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00052}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/RoblesM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Schang21, author = {Fabien Schang}, title = {A General Semantics for Logics of Affirmation and Negation}, journal = {{FLAP}}, volume = {8}, number = {2}, pages = {593--620}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00044}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Schang21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Shapirovsky21, author = {Ilya B. Shapirovsky}, title = {Glivenko's Theorem, Finite Height, and Local Tabularity}, journal = {{FLAP}}, volume = {8}, number = {8}, pages = {2333--2348}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00050}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Shapirovsky21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SiegelB21, author = {Harvey Siegel and John Biro}, title = {Walton on Argument, Arguments, and Argumentation}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {183--194}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/SiegelB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SiragusaRCV21, author = {Giovanni Siragusa and Livio Robaldo and Luigi Di Caro and Andrea Violato}, title = {Textual Entailment for Cybersecurity: An Applicative Case}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {975--992}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/SiragusaRCV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Stevens21, author = {Katharina Stevens}, title = {Argument is Moral. Using Walton's Dialectical Tools to Evaluate Argumentation from a Moral Perspective}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {137--158}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Stevens21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TamargoMRG21, author = {Luciano H. Tamargo and Diego C. Mart{\'{\i}}nez and Antonino Rotolo and Guido Governatori}, title = {Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {993--1022}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/TamargoMRG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TosattoG21, author = {Silvano Colombo Tosatto and Guido Governatori}, title = {Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {1023--1064}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/TosattoG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Visser21, author = {Albert Visser}, title = {Enayat Theories}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {2073--2118}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Visser21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Walton21, author = {Douglas Walton}, title = {Using Distance in Argument Maps to Model Conditional Probative Relevance}, journal = {{FLAP}}, volume = {8}, number = {9}, pages = {2433--2457}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00051}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Walton21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Wisniewski21, author = {Andrzej Wisniewski}, title = {Entailment, Transmission of Truth, and Minimality}, journal = {{FLAP}}, volume = {8}, number = {10}, pages = {2471--2522}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00052}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Wisniewski21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods21, author = {John Woods}, title = {Guest Editor's Remarks}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {1--2}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Woods21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods21a, author = {John Woods}, title = {Douglas Walton: The Early Years}, journal = {{FLAP}}, volume = {8}, number = {1}, pages = {3--30}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00043}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Woods21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods21b, author = {John Woods}, title = {How Paradox Fares in Inconsistency Robust Logic and Beyond: Computational and Naturalized Approaches}, journal = {{FLAP}}, volume = {8}, number = {7}, pages = {2119--2172}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00049}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Woods21b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Aucher20, author = {Guillaume Aucher}, title = {Towards Universal Logic: Gaggle Logics}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {875--942}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Aucher20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Baldwin20, author = {John T. Baldwin}, title = {The Reasonable Effectiveness of Model Theory in Mathematics}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {943--972}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Baldwin20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BarbieriM20, author = {Caroline Barbieri and Claudio Moraga}, title = {Cycles-based and Transformation-based Synthesis of Ternary Reversibel Circuits. Aspects of Complexity}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1295--1310}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/BarbieriM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Boney20, author = {Will Boney}, title = {The {\(\Gamma\)}-ultraproduct and Averageable Classes}, journal = {{FLAP}}, volume = {7}, number = {4}, pages = {459--498}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00040}, timestamp = {Wed, 28 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Boney20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Borg20, author = {Annemarie Borg}, title = {Assumptive Sequent-Based Argumentation}, journal = {{FLAP}}, volume = {7}, number = {3}, pages = {227--294}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00039}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Borg20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Brown20, author = {Bryson Brown}, title = {Speaking of Fiction}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {145--162}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Brown20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CoeckeM20, author = {Bob Coecke and Konstantinos Meichanetzidis}, title = {Meaning Updating of Density Matrices}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {745--770}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CoeckeM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CorreiaMS20, author = {Adriana D. Correia and Michael Moortgat and Henk T. C. Stoof}, title = {Density Matrices with Metric for Derivational Ambiguity}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {795--824}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CorreiaMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Fitting20, author = {Melvin Fitting}, title = {Bilattice Basics}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {973--1016}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Fitting20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gabbay20, author = {Dov M. Gabbay}, title = {Book Symposium on Woods' Truth in Fiction: Editorial Remarks}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {111--112}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Gabbay20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayR20, author = {Dov M. Gabbay and Gadi Rozenberg}, title = {Introducing Abstract Argumentation with Many Lives}, journal = {{FLAP}}, volume = {7}, number = {3}, pages = {295--336}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00039}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Garcia-Carpintero20, author = {Manuel Garc{\'{\i}}a{-}Carpintero}, title = {Referential Indeterminacy in Fiction}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {177--190}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Garcia-Carpintero20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GeorgescuKM20, author = {George Georgescu and L{\'{e}}onard Kwuida and Claudia Muresan}, title = {Functorial Properties of the Reticulation of a Universal Algebra}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1123--1168}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GeorgescuKM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Goldblatt20, author = {Robert Goldblatt}, title = {Morphisims and Duality for Polarities and Lattices with Operators}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1017--1070}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Goldblatt20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Grant20, author = {John Grant}, title = {Measuring Inconsistency in Finitary First-order Logic}, journal = {{FLAP}}, volume = {7}, number = {4}, pages = {403--426}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00040}, timestamp = {Wed, 28 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Grant20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GrecoLMPT20, author = {Giuseppe Greco and Fei Liang and Michael Moortgat and Alessandra Palmigiano and Apostolos Tzimoulis}, title = {Vector Spaces as Kripke Frames}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {853--873}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GrecoLMPT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Howell20, author = {Robert Howell}, title = {Into the Woods with Woods: Exploring Truths in and about Fiction}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {127--144}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Howell20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Humberstone20, author = {Lloyd Humberstone}, title = {Twins in Logic - Identical and Otherwise}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1071--1114}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Humberstone20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/IorgulescK20, author = {Afrodita Iorgulesc and Michael Kinyon}, title = {Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map"}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1169--1214}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/IorgulescK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Japaridze20, author = {Giorgi Japaridze}, title = {Fundamentals of Computability Logic}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1115--1176}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Japaridze20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/JinSMP20, author = {Kevin Jin and Tahsin Saffat and Justin Morgan and Marek A. Perkowski}, title = {A Polarity-based Approach for Optimization of Multivalued Quantum Multiplexers with Arbitrary Single-qubit Target Gates}, journal = {{FLAP}}, volume = {7}, number = {1}, pages = {5--28}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00037}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/JinSMP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kamide20, author = {Norihiro Kamide}, title = {Some Properties for First-order Nelsonian Paraconsistent Quantum Logic}, journal = {{FLAP}}, volume = {7}, number = {1}, pages = {59--88}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00037}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kamide20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kamide20a, author = {Norihiro Kamide}, title = {Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1101--1122}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Kamide20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KatoOH20, author = {Makoto Kato and Naoya Onizawa and Takahiro Hanyu}, title = {Design Automation of Invertible Logic Circuit from a Standard {HDL} Description}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1311--1333}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/KatoOH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KosoyA20, author = {Vanessa Kosoy and Alexander Appel}, title = {Optimal Polynomial-time Estimators: {A} Bayesian Notion of Approximation Algorithm}, journal = {{FLAP}}, volume = {7}, number = {4}, pages = {561--675}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00040}, timestamp = {Wed, 28 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/KosoyA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KusraevK20, author = {Anatoly G. Kusraev and Semen S. Kutateladze}, title = {Some Applications of Boolean Valued Analysis}, journal = {{FLAP}}, volume = {7}, number = {4}, pages = {427--458}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00040}, timestamp = {Wed, 28 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/KusraevK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Leech20, author = {Jessica Leech}, title = {Relative Necessity Extended}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1177--1198}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Leech20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lewis20, author = {Martha Lewis}, title = {Towards Logical Negation for Compositional Distributional Semantics}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {771--794}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lewis20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/LewisMS20, author = {Martha Lewis and Dan Marsden and Mehrnoosh Sadrzadeh}, title = {Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {677--682}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/LewisMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/LinneboS20, author = {{\O}ystein Linnebo and Stewart Shaprio}, title = {Potentiality and Indeterminacy in Mathematics}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1199--1220}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/LinneboS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lopes20, author = {Dominic McIver Lopes}, title = {Sherlock is Law Abiding}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {171--176}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lopes20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lukac20, author = {Martin Lukac}, title = {Editorial for Special Issue on Multiple Valued Logic}, journal = {{FLAP}}, volume = {7}, number = {1}, pages = {1--4}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00037}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lukac20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lukac20a, author = {Martin Lukac}, title = {Editorial}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1083--1086}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Lukac20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/McCallum20, author = {Rupert McCallum}, title = {Extending Ideas of Tait for Incorporating Higher-order Parameters in Schemes of Reflection}, journal = {{FLAP}}, volume = {7}, number = {4}, pages = {391--402}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00040}, timestamp = {Wed, 28 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/McCallum20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MoortgatSW20, author = {Michael Moortgat and Mehrnoosh Sadrzadeh and Gijs Wijnholds}, title = {A Frobenius Algebraic Analysis for Parasitic Gaps}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {823--852}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MoortgatSW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Novak20, author = {Vil{\'{e}}m Nov{\'{a}}k}, title = {Intermediate Quantifiers in Partial Fuzzy Type Theory}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1215--1240}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Novak20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/OnizawaAH20, author = {Naoya Onizawa and Ren Arakawa and Takahiro Hanyu}, title = {Design of an MTJ-based Nonvolatile Multi-context Ternary Content-addressable Memory}, journal = {{FLAP}}, volume = {7}, number = {1}, pages = {89--109}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00037}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/OnizawaAH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/OnizawaSH20, author = {Naoya Onizawa and Duckgyu Shin and Takahiro Hanyu}, title = {Fast Hardware-based Learning Algorithm for Binarized Perceptrons using {CMOS} Invertible Logic}, journal = {{FLAP}}, volume = {7}, number = {1}, pages = {41--58}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00037}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/OnizawaSH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Podlaski20, author = {Krzysztof Podlaski}, title = {Reversible Synthesis in Walsh-Hadamard Domain}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1275--1294}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Podlaski20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Rivieccio20, author = {Umberto Rivieccio}, title = {Fragments of Quasi-Nelson: Two Negations}, journal = {{FLAP}}, volume = {7}, number = {4}, pages = {499--560}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00040}, timestamp = {Wed, 28 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Rivieccio20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Romano20, author = {Daniel Abraham Romano}, title = {Hilbert Algebras in a Non-Classical Framework: Hilbert Algebras with Apartness}, journal = {{FLAP}}, volume = {7}, number = {3}, pages = {337--360}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00039}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Romano20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Shramko20, author = {Yaroslav Shramko}, title = {First-degree Entailment and Binary Consequence Systems}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1221--1240}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Shramko20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/StankovicMS20, author = {Milena Stankovic and Claudio Moraga and Radomir S. Stankovic}, title = {Spectral Invariance Operations for the Construction of Ternary Bent Functions}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1241--1274}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/StankovicMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Strossner20, author = {Corina Str{\"{o}}{\ss}ner}, title = {Integrating Conceptual Spaces in Frames}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {683--706}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Strossner20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Summers-Stay20, author = {Douglas Summers{-}Stay}, title = {A Vector Simplex Model of Concepts}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {707--724}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Summers-Stay20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Szalas20, author = {Andrzej Szalas}, title = {A Paraconsistent ASP-Like Language with Tractable Model Generation}, journal = {{FLAP}}, volume = {7}, number = {3}, pages = {361--389}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00039}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Szalas20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TayaYI20, author = {Keigo Taya and Yasushi Yuminaka and Yosuke Iijama}, title = {Statistical Waveform Evaluation Method for Adaptive {PAM-4} Equalization}, journal = {{FLAP}}, volume = {8}, number = {5}, pages = {1087--1100}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/TayaYI20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Vakarelov20, author = {Dimiter Vakarelov}, title = {Point-free Theories of Space and Time}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1421--1320}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Vakarelov20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Wang20, author = {Vincent Wang}, title = {Concept Functionals}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {725--744}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Wang20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods20, author = {John Woods}, title = {Truth in Fiction: Rethinking its Logic: {A} Pr{\'{e}}cis}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {113--126}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods20a, author = {John Woods}, title = {Responses to Essays}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {191--226}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods20b, author = {John Woods}, title = {Logic's Naturalistic Character}, journal = {{FLAP}}, volume = {7}, number = {6}, pages = {1321--1378}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00042}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods20b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Xhignesse20, author = {Michel{-}Antoine Xhignesse}, title = {Inheriting the World}, journal = {{FLAP}}, volume = {7}, number = {2}, pages = {163--170}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00038}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Xhignesse20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/YuminakaSCTI20, author = {Yasushi Yuminaka and Natsuki Sato and Takahito Chigira and Kohei Toyoda and Yosuke Iijima}, title = {{PAM-4} Signal Transmitter using {FPGA} and {DAC} for Serial-link Test}, journal = {{FLAP}}, volume = {7}, number = {1}, pages = {29--40}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00037}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/YuminakaSCTI20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AhmedHH19, author = {Asad Ahmed and Osman Hasan and Ammar Hasan}, title = {Formal Periodic Steady-State Analysis of Power Converters in Time-Domain}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {447--468}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AhmedHH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AhmedHH19a, author = {Asad Ahmed and Osman Hasan and Ammar Hasan}, title = {Formal Periodic Steady-state Analysis of Power Converters in Time-domain}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1263--1284}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AhmedHH19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ArieliZ19, author = {Ofer Arieli and Anna Zamansky}, title = {Preface}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {205--208}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ArieliZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AucherBM19, author = {Guillaume Aucher and Jean Berbinau and Marie{-}Laure Morin}, title = {Principles for a Judgement Editor Based on Binary Decision Diagrams}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {781--814}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AucherBM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BalbianiDC19, author = {Philippe Balbiani and Mart{\'{\i}}n Di{\'{e}}guez and Luis Fari{\~{n}}as del Cerro}, title = {Setting the Basis for Here and There Modal Logics}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1475--1500}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BalbianiDC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BenzmullerFMP19, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Paul Meder and Xavier Parent}, title = {{I/O} Logic in {HOL}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {715--732}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BenzmullerFMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BenzmullerFP19, author = {Christoph Benzm{\"{u}}ller and Ali Farjami and Xavier Parent}, title = {{\aa}qvist's Dyadic Deontic Logic {E} in {HOL}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {733--754}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BenzmullerFP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Borisavljevic19, author = {Mirjana Borisavljevic}, title = {Two Normalizations for Natural Deductions in Sequent Style}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1187--1222}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Borisavljevic19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Branson19, author = {Beau Branson}, title = {No New Solutions to the Logical Problem of the Trinity}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1051--1092}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Branson19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CostaMM19, author = {Diana Costa and Manuel A. Martins and Jo{\~{a}}o Marcos}, title = {On Herbrand's Theorem for Hybrid Logic}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {209--228}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Wed, 21 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/CostaMM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Devyatkin19, author = {Leonid Devyatkin}, title = {Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {229--254}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Devyatkin19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DitmarschGKP19, author = {Hans van Ditmarsch and Malvin Gattinger and Louwe B. Kuijer and Pere Pardo}, title = {Strengthening Gossip Protocols using Protocol-Dependent Knowledge}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {157--203}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DitmarschGKP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Drago19, author = {Antonino Drago}, title = {Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues {(1401-1464)}}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1143--1186}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Drago19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvurecenskijZ19, author = {Anatolij Dvurecenskij and Omid Zahiri}, title = {Pseudo EMV-algebras. {I} - Basic Properties}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1285--1328}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DvurecenskijZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvurecenskijZ19a, author = {Anatolij Dvurecenskij and Omid Zahiri}, title = {Pseudo EMV-algebras. {II} - Representation and States}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1329--1372}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DvurecenskijZ19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ElderhalliAHT19, author = {Yassmeen Elderhalli and Waqar Ahmad and Osman Hasan and Sofi{\`{e}}ne Tahar}, title = {Probabilistic Analysis of Dynamic Fault Trees using {HOL} Theorem Proving}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {469--512}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ElderhalliAHT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FrancezK19, author = {Nissim Francez and Michael Kaminski}, title = {On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {255--290}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/FrancezK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GarcezB19, author = {Artur S. d'Avila Garcez and Tarek R. Besold}, title = {Editorial}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {609--610}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GarcezB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GarcezGLSST19, author = {Artur S. d'Avila Garcez and Marco Gori and Lu{\'{\i}}s C. Lamb and Luciano Serafini and Michael Spranger and Son N. Tran}, title = {Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {611--632}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GarcezGLSST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GovernatoriR19, author = {Guido Governatori and Antonino Rotolo}, title = {Time and Compensation Mechanisms in Checking Legal Compliance}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {815--846}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GovernatoriR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Grigoriev19, author = {Oleg M. Grigoriev}, title = {Logic of Bipartite Truth with Uncertainty Dimension}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {291--318}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Sat, 07 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Grigoriev19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Heyninck19, author = {Jesse Heyninck}, title = {Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {319--360}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Heyninck19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Holm19, author = {Ruurik Holm}, title = {A Novel Criterion for Rejecting the Non-Inductive Method}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {513--522}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Holm19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Humberstone19, author = {Lloyd Humberstone}, title = {Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1373--1446}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Humberstone19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KonikowskaA19, author = {Beata Konikowska and Arnon Avron}, title = {Reasoning about Covering-based Rough Sets Using Three Truth Values}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {361--382}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/KonikowskaA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Krajewski19, author = {Stanislaw Krajewski}, title = {Mathematical Models in Theology. {A} Buber-inspired Model of God and its Application to "Shema Israel"}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1007--1020}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Krajewski19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KrajewskiS19, author = {Stanislaw Krajewski and Ricardo Sousa Silvestre}, title = {Logic and the Concept of God}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {999--1006}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/KrajewskiS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Krasmuller19, author = {Dirk Krasm{\"{u}}ller}, title = {The Problem of Universals in Late Patristic Theology}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1125--1142}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Krasmuller19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KriekenAH19, author = {Emile van Krieken and Erman Acar and Frank van Harmelen}, title = {Semi-supervised Learning using Differentiable Reasoning}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {633--652}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/KriekenAH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Leven19, author = {Talia Leven}, title = {G{\"{o}}del's God-like Essence}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1021--1036}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Leven19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lewis19, author = {Martha Lewis}, title = {Compositionality for Recursive Neural Networks}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {709--724}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lewis19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lourie19, author = {Basil Louri{\'{e}}}, title = {What Means 'Tri-' in 'Trinity'? An Eastern Patristic Approach to the 'Quasi-Ordinals'}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1093--1108}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lourie19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Markovich19, author = {R{\'{e}}ka Markovich}, title = {Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {847--864}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Markovich19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Markovich19a, author = {R{\'{e}}ka Markovich}, title = {Two Limitations in Legal Knowledge Base Constructing and Formalizing Law}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {941--962}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Markovich19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/McKubre-Jordens19, author = {Maarten McKubre{-}Jordens and Phillip L. Wilson}, title = {Infinity in Computable Probability}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1253--1262}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/McKubre-Jordens19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MossakowskiDG19, author = {Till Mossakowski and Razvan Diaconescu and Martin Glauer}, title = {Towards Fuzzy Neural Conceptors}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {725--744}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MossakowskiDG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mundici19, author = {Daniele Mundici}, title = {Preservation properties of De Finetti Coherence}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {383--396}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mundici19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/OrtizF19, author = {H{\'{e}}ctor Hern{\'{a}}ndez Ortiz and Victor Cantero Flores}, title = {A Logical Solution to the Paradox of the Stone}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1037--1050}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/OrtizF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ParkKKK19, author = {Woosuk Park and Sungyong Kim and Keunhyoung Luke Kim and Jeounghoon Kim}, title = {AlphaGo's Decision Making}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {105--156}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ParkKKK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PhuaRI19, author = {Yin Jun Phua and Tony Ribeiro and Katsumi Inoue}, title = {Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {695--708}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PhuaRI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PinkasC19, author = {Gadi Pinkas and Shimon Cohen}, title = {High-order Networks that Learn to Satisfy Logic Constraints}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {653--694}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PinkasC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PutteBM19, author = {Frederik Van De Putte and Mathieu Beirlaen and Joke Meheus}, title = {Adaptive Deontic Logics: {A} Survey}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {523--608}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PutteBM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RauzyY19, author = {Antoine Rauzy and Liu Yang}, title = {Finite Degradation Structures}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1447--1474}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RauzyY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RiveretRS19, author = {R{\'{e}}gis Riveret and Antonino Rotolo and Giovanni Sartor}, title = {A Deontic Argumentation Framework Towards Doctrine Reification}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {903--940}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RiveretRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RobaldoT19, author = {Livio Robaldo and Leendert W. N. van der Torre}, title = {Introduction to Legal {AI}}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {711--714}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RobaldoT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RodderDGL19, author = {Wilhelm R{\"{o}}dder and Andreas Dellnitz and Ivan Ricardo Gartner and Sebastian Litzinger}, title = {Weight Predication on Missing Links in Social Networks. {A} Cross-Entropy-Based Approach}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {83--104}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RodderDGL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RodriguesSFOV19, author = {Cleyton M. O. Rodrigues and Eunice Palmeira da Silva and Fred Freitas and Italo Jose da Silva Oliveira and Ivan Varzinczak}, title = {{LEGIS:} {A} Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {755--780}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RodriguesSFOV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SavicS19, author = {Nenad Savic and Thomas Studer}, title = {Relevant Justification Logic}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {397--412}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SavicS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Schumann19, author = {Andrew Schumann}, title = {Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings?}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {31--82}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Schumann19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Selesnick19, author = {Stephen A. Selesnick}, title = {Tsien's Power-of-two Law in a Neuromorphic Network Model Suitable for Artificial Intelligence}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1223--1252}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Mon, 18 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Selesnick19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Shafiei19, author = {Mohammad Shafiei}, title = {Book Review: Immanent Reasoning or Equality in Action; {A} Plaidoyer for the Play Level by Shahid Rahman, Zoe McConaughey, Ansten Klev and Nicolas Clerbout}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1501--1507}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00036}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Shafiei19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Shramko19, author = {Yaroslav Shramko}, title = {Dual-Belnap Logic and Anything but Falsehood}, journal = {{FLAP}}, volume = {6}, number = {2}, pages = {413--430}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00031}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Shramko19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TosattoGBO19, author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest and Francesco Olivieri}, title = {Efficient Full Compliance Checking of Concurrent Components for business Process Models}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {963--998}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/TosattoGBO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Urbaniak19, author = {Rafal Urbaniak}, title = {Probabilistic Legal Decision Standards Still Fail}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {865--902}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Urbaniak19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Vranas19, author = {Peter B. M. Vranas}, title = {New Foundations for Imperative Logic {IV:} Natural Deduction}, journal = {{FLAP}}, volume = {6}, number = {3}, pages = {431--446}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00032}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Vranas19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/WeydeK19, author = {Tillman Weyde and Radha Manisha Koppart}, title = {Modelling Identity Rules with Neural Networks}, journal = {{FLAP}}, volume = {6}, number = {4}, pages = {745--769}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00033}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/WeydeK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/XingZZ19, author = {Huili Xing and Zhaohui Zhu and Jinjin Zhang}, title = {Covariant-Contravariant Refinement Modal Logic}, journal = {{FLAP}}, volume = {6}, number = {1}, pages = {1--30}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00030}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/XingZZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Zhyrkova19, author = {Anna Zhyrkova}, title = {The {\'{E}}minence Grise of Christology: Porphyry's Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies}, journal = {{FLAP}}, volume = {6}, number = {6}, pages = {1109--1124}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00035}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Zhyrkova19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Abe18, author = {Akinori Abe}, title = {Abductive cognition: affordance, curation, and chance}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {1093--1120}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Abe18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AlechinaLD18, author = {Natasha Alechina and Brian Logan and Mehdi Dastani}, title = {Modeling Norm Specification and Verification in Multiagent Systems}, journal = {{FLAP}}, volume = {5}, number = {2}, pages = {457--490}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00022.pdf}, timestamp = {Wed, 08 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AlechinaLD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AlonderisS18, author = {Romas Alonderis and Jurate Sakalauskaite}, title = {A Labelled Sequent Calculus for Half-order Modal Logic}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {121--164}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AlonderisS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AngelisSS18, author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo and Andrzej Szalas}, title = {Paraconsistent Rule-based Reasoning with Graded Truth Values}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {185--220}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AngelisSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AvilesZ18, author = {Antonio Avil{\'{e}}s and Jos{\'{e}} Miguel Zapata}, title = {Boolean-valued Models as a Foundation for Locally L\({}^{\mbox{0}}\)-Convex Analysis and Conditional Set Theory}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {389--420}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AvilesZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AzimipourN18, author = {Sanaz Azimipour and Pavel Naumov}, title = {Lighthouse Principle for Diffusion in Social Networks}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {97--120}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AzimipourN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BalbianiT18, author = {Philippe Balbiani and Tinko Tinchev}, title = {Elementary Unification in Modal Logic {KD45}}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {301--318}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BalbianiT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BeirlaenHPS18, author = {Mathieu Beirlaen and Jesse Heyninck and Pere Pardo and Christian Stra{\ss}er}, title = {Argument Strength in Formal Argumentation}, journal = {{FLAP}}, volume = {5}, number = {3}, pages = {629--676}, year = {2018}, url = {https://collegepublications.co.uk/contents/ifcolog00023.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BeirlaenHPS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BolotovKS18, author = {Alexander Bolotov and Daniil Kozhemiachenko and Vasilyi Shangin}, title = {Paracomplete Logic {K1} ? Natural Deduction, its Automation, Complexity and Applications}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {221--262}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BolotovKS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CayrolDT18, author = {Claudette Cayrol and Didier Dubois and Fay{\c{c}}al Touazi}, title = {Possibilistic Reasoning from Partially Ordered Belief Bases with the Sure Thing Principle}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {5--40}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CayrolDT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Christiaanse18, author = {Rob Christiaanse}, title = {Modeling Norms Embedded in Society: Ethics and Senstitive Design}, journal = {{FLAP}}, volume = {5}, number = {2}, pages = {591--628}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00022.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Christiaanse18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Cvetko-VahC18, author = {Karin Cvetko{-}Vah and Jo{\~{a}}o Pita Costa}, title = {On the Update Operation in Skew Lattices}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1765--1774}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Cvetko-VahC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Demolombe18, author = {Robert Demolombe}, title = {About Relationships Between two Individuals}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {421--436}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Demolombe18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Dvurecenskij18, author = {Anatolij Dvurecenskij}, title = {Riesz Space-valued States on Pseudo MV-algebras}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1723--1764}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Dvurecenskij18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvurecenskijZ18, author = {Anatolij Dvurecenskij and Omid Zahiri}, title = {On Epicomplete {MV} -algebras}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {165--184}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DvurecenskijZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DyrkolbotnPB18, author = {Sjur K. Dyrkolbotn and Truls Pedersen and Jan M. Broersen}, title = {On Elitist Lifting and Consistency in Structured Argumentation}, journal = {{FLAP}}, volume = {5}, number = {3}, pages = {709--746}, year = {2018}, url = {https://collegepublications.co.uk/contents/ifcolog00023.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DyrkolbotnPB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Fernandez-Duque18, author = {David Fern{\'{a}}ndez{-}Duque and Petar Iliev}, title = {Succinctness in Subsystems of the Spatial {\(\mu\)}-Calculus}, journal = {{FLAP}}, volume = {5}, number = {4}, pages = {827--874}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Fernandez-Duque18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FornaraB18, author = {Nicoletta Fornara and Tina Balke{-}Visser}, title = {Modeling Organizations and Institutions in Multiagent Systems}, journal = {{FLAP}}, volume = {5}, number = {2}, pages = {565--590}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00022.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/FornaraB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Francez18, author = {Nissim Francez}, title = {Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons)}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1653--1662}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Francez18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FrantzP18, author = {Christopher Frantz and Gabriella Pigozzi}, title = {Modeling Norm Dynamics in Multiagent Systems}, journal = {{FLAP}}, volume = {5}, number = {2}, pages = {491--564}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00022.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/FrantzP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Freeman18, author = {James B. Freeman}, title = {Estimating the Strength of Defeasible Arguments: {A} Formal Inquiry}, journal = {{FLAP}}, volume = {5}, number = {4}, pages = {927--944}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Freeman18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Fuenmayor18, author = {David Fuenmayor}, title = {A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1567--1603}, year = {2018}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Fuenmayor18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gabbay18, author = {Michael Gabbay}, title = {Formalism and Set Theoretic Truth}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1365--1380}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Gabbay18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayS18, author = {Dov M. Gabbay and J{\"{o}}rg H. Siekmann}, title = {Editorial}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {1--4}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbaySS18, author = {Michael Gabbay and Prokop Soused{\'{\i}}k and David Svoboda}, title = {Editorial}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1259--1260}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbaySS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gomez18, author = {Cristina Bar{\'{e}}s G{\'{o}}mez}, title = {Abduction in Akkadian Medical Diagnosis}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1697--1722}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Fri, 30 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Gomez18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gordon18, author = {Thomas F. Gordon}, title = {Defining Argument Weighing Functions}, journal = {{FLAP}}, volume = {5}, number = {3}, pages = {747--773}, year = {2018}, url = {https://collegepublications.co.uk/contents/ifcolog00023.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Gordon18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Islami18, author = {Arezoo Islami}, title = {A Complex Problem For Formalists}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1337--1364}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Islami18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ItoUHA18, author = {Akira Ito and Rei Ueno and Naofumi Homma and Takafumi Aoki}, title = {Characterizing Parallel Multipliers for Detecting Hardware Trojans}, journal = {{FLAP}}, volume = {5}, number = {9}, pages = {1815--1832}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ItoUHA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Japaridze18, author = {Giorgi Japaridze}, title = {Elementary-base Cirquent Calculus {I:} Parallel and Choice Connectives}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {367--388}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Japaridze18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kleiter18, author = {Gernot D. Kleiter}, title = {Adams' p-validity in the Research on Human Reasoning}, journal = {{FLAP}}, volume = {5}, number = {4}, pages = {775--826}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kleiter18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KompatscherP18, author = {Michael Kompatscher and Trung Van Pham}, title = {A Complexity Dichotomy for Poset Constraint Satisfaction}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1663--1696}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/KompatscherP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kovac18, author = {Srecko Kovac}, title = {The Totality of Predicates and the Possibility of the Most Real Being}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1523--1552}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00027.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kovac18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kvasz18, author = {Ladislav Kvasz}, title = {Resnik's Structuralism in Light of the History of Mathematics}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1307--1336}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kvasz18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lukac18, author = {Martin Lukac}, title = {Editor's Note}, journal = {{FLAP}}, volume = {5}, number = {9}, pages = {1779--1780}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lukac18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Macbeth18, author = {Danielle Macbeth}, title = {A Non-Structuralist Alternative to Formalism}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1381--1398}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Macbeth18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MadaraszS18, author = {Judit X. Madar{\'{a}}sz and Gergely Sz{\'{e}}kely and Mike Stannett}, title = {Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory}, journal = {{FLAP}}, volume = {5}, number = {4}, pages = {907--926}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MadaraszS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Magnani18, author = {Lorenzo Magnani}, title = {Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {1061--1092}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Magnani18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mensik18, author = {Josef Mens{\'{\i}}k}, title = {What Sort of Mathematical Structuralism is Category Theory?}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1417--1429}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mensik18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mion18, author = {Giovanni Mion}, title = {On Kant's Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1515--1522}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00027.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mion18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mota18, author = {S{\'{e}}rgio Mota}, title = {Corrigendum to "The Never Ending Recursion"}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1775--1776}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mota18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/NagayamaSB18, author = {Shinobu Nagayama and Tsutomu Sasao and Jon T. Butler}, title = {An Exact Optimization Method using ZDDs for Linear Decomposition of Symmetric Index Generation Functions}, journal = {{FLAP}}, volume = {5}, number = {9}, pages = {1849--1866}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/NagayamaSB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/NaseemUHF18, author = {Syed Atif Naseem and Riaz Uddin and Osman Hasan and Diaa E. Fawzy}, title = {Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {319--366}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/NaseemUHF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/NolaGL18, author = {Antonio Di Nola and Revaz Grigolia and Giacomo Lenzi}, title = {On the Lattice of the Subvarieties of Monadic {MV} (C)-algebras}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {437--454}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/NolaGL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PardoSSV18, author = {Pere Pardo and Enrique Sari{\'{o}}n{-}Morrillo and Fernando Soler{-}Toscano and Fernando R. Vel{\'{a}}zquez{-}Quesada}, title = {Tuning the Program Transformers from {CC} to {PDL}}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {71--96}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PardoSSV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Park18, author = {Woosuk Park}, title = {Enthymematic interaction in Baduk}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {1145--1168}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Park18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Park18a, author = {Woosuk Park}, title = {When is a strategy in games?}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {1169--1204}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Park18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Peden18, author = {William Peden}, title = {Imprecise Probability and the Measurement of Keynes's "Weight of Arguments"}, journal = {{FLAP}}, volume = {5}, number = {3}, pages = {677--708}, year = {2018}, url = {https://collegepublications.co.uk/contents/ifcolog00023.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Peden18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Pietarinen18, author = {Ahti{-}Veikko Pietarinen}, title = {Conjectures and abductive reasoning in games}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {1121--1144}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Pietarinen18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Rad18, author = {Soroush Rafiee Rad}, title = {Maximum Entropy Models for {\textdollar}{\textbackslash}sum{\textdollar}\({}_{\mbox{1}}\) Sentences}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {287--300}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Rad18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RashidH18, author = {Adnan Rashid and Osman Hasan}, title = {Formalization of Lerch's Theorem using {HOL} Light}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1623--1652}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RashidH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RasouliZH18, author = {Saeed Rasouli and Zeinab Zarin and Abass Hasankhan}, title = {Characterization of a New Subquasivariety of Residuated Lattice}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {41--70}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RasouliZH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Rushby18, author = {John Rushby}, title = {A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1473--1496}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00027.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Rushby18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SaitoSKA18, author = {Kenta Saito and Naoki Suefuji and Seiya Kasai and Masashi Aono}, title = {Amoeba-inspired Electronic Computing System and its Application to Autonomous Walking of a Multi-legged Robot}, journal = {{FLAP}}, volume = {5}, number = {9}, pages = {1799--1814}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SaitoSKA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Schirn18, author = {Matthias Schirn}, title = {Finitist Consistency Proofs and the Impact of G{\"{o}}del's Incompleteness Theorems on Hilbert?s Metamathematics}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1273--1300}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Schirn18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SchusterW18, author = {Peter Schuster and Daniel Misselbeck{-}Wessel}, title = {Suzumura Consistency, an Alternative Approach}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {263--286}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 09 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/SchusterW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Seldin18, author = {Jonathan P. Seldin}, title = {Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1301--1306}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Seldin18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SiddiqueMT18, author = {Umair Siddique and Mohamed Yousri Mahmoud and Sofi{\`{e}}ne Tahar}, title = {Formal Analysis of Discrete-Time Systems using z-Transform}, journal = {{FLAP}}, volume = {5}, number = {4}, pages = {875--906}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SiddiqueMT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Silvestre18, author = {Ricardo Sousa Silvestre}, title = {A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1439--1472}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00027.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Silvestre18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SilvestreB18, author = {Ricardo Sousa Silvestre and Jean{-}Yves B{\'{e}}ziau}, title = {Formal Approaches to the Ontological Argument}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1431--1438}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00027.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SilvestreB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SmithLMT18, author = {Kaitlin N. Smith and Tim LaFave and Duncan L. MacFarlane and Mitchell A. Thornton}, title = {Higher-Radix Chrestenson Gates for Photonic Quantum Computation}, journal = {{FLAP}}, volume = {5}, number = {9}, pages = {1781--1798}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SmithLMT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SousedikS18, author = {Prokop Soused{\'{\i}}k and David Svoboda}, title = {Are Ante Rem Structuralists Descriptivist Or Revisionist Metaphysicians? How We Speak About Numbers}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1399--1416}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SousedikS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Sowa18, author = {John F. Sowa}, title = {Reasoning with diagrams and images: observation and imagination as rules of inference}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {987--1060}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Sowa18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/StojanovicID18, author = {Nenad Stojanovic and Nebojsa Ikodinovic and Radosav Djordjevic}, title = {A Propositional Logic with Binary Metric Operators}, journal = {{FLAP}}, volume = {5}, number = {8}, pages = {1605--1622}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00028.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/StojanovicID18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Svejdar18, author = {V{\'{\i}}tezslav Svejdar}, title = {Modern Czech Logic: Vopenka and H{\'{a}}jek, History and Background}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1261--1272}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Svejdar18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SwietorzeckaL18, author = {Kordula Swietorzecka and Marcin Lyczak}, title = {An Even More Leibnizian Version of G{\"{o}}del's Ontological Argument}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1553--1566}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00027.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SwietorzeckaL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Thomsen18, author = {Erik Thomsen}, title = {A Tractarian Resolution to the Ontological Argument}, journal = {{FLAP}}, volume = {5}, number = {7}, pages = {1497--1514}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00027.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Thomsen18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Villata18, author = {Serena Villata}, title = {Editorial}, journal = {{FLAP}}, volume = {5}, number = {2}, pages = {455--456}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00022.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Villata18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Waho18, author = {Takao Waho}, title = {A Noise-shaping Analog-to-Digital Converter using a {\(\Delta\)}{\(\Sigma\)} Modulator Feedforward Network}, journal = {{FLAP}}, volume = {5}, number = {9}, pages = {1833--1848}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Waho18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/WilleL18, author = {Robert Wille and Martin Lukac}, title = {Preface to the Special Issue of the 48th {IEEE} International Symposium on Multiple Valued Logic}, journal = {{FLAP}}, volume = {5}, number = {9}, pages = {1777--1778}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/WilleL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods18, author = {John Woods}, title = {The logical foundations of strategic reasoning: inconsistency-management as a test case for logic}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {945--986}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods18a, author = {John Woods}, title = {What strategicians might learn from the common law: implicit and tacit understandings of the unwritten}, journal = {{FLAP}}, volume = {5}, number = {5}, pages = {1205--1257}, year = {2018}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00025.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Abrusci17, author = {V. Michele Abrusci}, title = {Hilbert's tau and epsilon in Proof Theoretical Foundations of Mathematics: An Introduction}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Abrusci17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AcarFMTS17, author = {Erman Acar and Manuel Fink and Christian Meilicke and Camilo Thorne and Heiner Stuckenschmidt}, title = {Multi-Attribute Decision Making with Weighted Description Logics}, journal = {{FLAP}}, volume = {4}, number = {7}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AcarFMTS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AchouriotiL17, author = {Theodora Achourioti and Michiel van Lambalgen}, title = {Kant'sLogicRevisited}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AchouriotiL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Akiyoshi17, author = {Ryota Akiyoshi}, title = {An Ordinal-free Proof of the Complete Cut-elimination Theorem for {\textbackslash}Pi1{\_}1-CA+BI with the omega-rule}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Akiyoshi17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Avron17, author = {Arnon Avron}, title = {Cut-elimination in {RM} Proved Semantically}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Avron17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Baaz17, author = {Matthias Baaz}, title = {Preface}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3117--3126}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Baaz17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BaazL17, author = {Matthias Baaz and Alexander Leitsch}, title = {On the Complexity of Translations from Classical to Intuitionistic Proofs}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BaazL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Badia17, author = {Guillermo Badia}, title = {Model Definability in Relevant Logic}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Badia17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BaroniGGT17, author = {Pietro Baroni and Dov M. Gabbay and Massimiliano Giacomin and Leon van der Torre}, title = {Editorial}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BaroniGGT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BashmakovKR17, author = {Stepan I. Bashmakov and Anna V. Kosheleva and Vladimir V. Rybakov}, title = {Unification for Multi-Agent Temporal Logics with Universal Modality}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BashmakovKR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Baumann17, author = {Ringo Baumann}, title = {On the Nature of Argumentation Semantics: Existence and Uniqueness, Expressibility, and Replaceability}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Baumann17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BeierleFPVK17, author = {Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner}, title = {A Framework for Versatile Knowledge and Belief Management Operations in a Probabilistic Conditional Logic}, journal = {{FLAP}}, volume = {4}, number = {7}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BeierleFPVK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Benthem17, author = {Johan van Benthem}, title = {An Old Discipline with a New Twist: The Course "Logic in Action"}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Benthem17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Beziau17, author = {Jean{-}Yves B{\'{e}}ziau}, title = {Identification of Identity}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3571--3582}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Beziau17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BimboD17, author = {Katalin Bimb{\'{o}} and J. Michael Dunn}, title = {Introduction}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BimboD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BimboD17a, author = {Katalin Bimb{\'{o}} and J. Michael Dunn}, title = {The Emergence of Set-theoretical Semantics for Relevance Logics around 1970}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BimboD17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Blackburn17, author = {Patrick Blackburn}, title = {The New Trivium}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Blackburn17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Bochman17, author = {Alexander Bochman}, title = {Argumentation, Nonmonotonic Reasoning and Logic}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Bochman17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BovykinS17, author = {Andrey Bovykin and Michiel De Smet}, title = {A Glimpse at Polynomials with Quantifiers}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3237}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BovykinS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Brady17, author = {Ross T. Brady}, title = {Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Brady17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BrewkaESWW17, author = {Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass and Johannes Peter Wallner and Stefan Woltran}, title = {Abstract Dialectical Frameworks. An Overview}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BrewkaESWW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Brown17, author = {Bryson Brown}, title = {A Preservationist Perspective on Relevance Logic}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Brown17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Caminada17, author = {Martin Caminada}, title = {Argumentation Semantics as Formal Discussion}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Caminada17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Caminada17a, author = {Martin Caminada}, title = {Rationality Postulates: Applying Argumentation Theory for Non-monotonic Reasoning}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Caminada17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CasatiP17, author = {Filippo Casati and Graham Priest}, title = {Inside Au{\ss}ersein}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3583--3596}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CasatiP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CeruttiGTW17, author = {Federico Cerutti and Sarah Alice Gaggl and Matthias Thimm and Johannes Peter Wallner}, title = {Foundations of Implementations for Formal Argumentation}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CeruttiGTW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Chatzikyriakidis17, author = {Stergios Chatzikyriakidis and Fabio Pasquali and Christian Retor{\'{e}}}, title = {Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics"}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Chatzikyriakidis17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Chatzikyriakidis17a, author = {Stergios Chatzikyriakidis and Fabio Pasquali and Christian Retor{\'{e}}}, title = {From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Chatzikyriakidis17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CohenCHM17, author = {Cyril Cohen and Thierry Coquand and Simon Huber and Anders M{\"{o}}rtberg}, title = {Cubical Type Theory: {A} Constructive Interpretation of the Univalence Axiom}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3127--3170}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CohenCHM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Cramer17, author = {Marcos Cramer}, title = {Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Cramer17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CyrasFST17, author = {Kristijonas Cyras and Xiuyi Fan and Claudia Schulz and Francesca Toni}, title = {Assumption-based Argumentation: Disputes, Explanations, Preferences}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CyrasFST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DAquinoM17, author = {Paola D'Aquino and Angus Macintyre}, title = {Model Theory of Some Local Rings}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DAquinoM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DeVidiM17, author = {David DeVidi and Corey Mulvihill}, title = {Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DeVidiM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Dowek17, author = {Gilles Dowek}, title = {Rules and Derivations in an Elementary Logic Course}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Dowek17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DvorakD17, author = {Wolfgang Dvor{\'{a}}k and Paul E. Dunne}, title = {Computational Problems in Formal Argumentation and their Complexity}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DvorakD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/DyckhoffN17, author = {Roy Dyckhoff and Sara Negri}, title = {Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic"}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/DyckhoffN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/EemerenV17, author = {Frans H. van Eemeren and Bart Verheij}, title = {Argumentation Theory in Formal and Computational Perspective}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/EemerenV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/EnsanT17, author = {Alireza Ensan and Eugenia Ternovska}, title = {A Semantic Approach to Combining Preference Formalisms}, journal = {{FLAP}}, volume = {4}, number = {7}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/EnsanT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FefermanL17, author = {A. Burdman Feferman and Vladimir Lifschitz}, title = {In Memoriam: Grigori E. Mints, 1939-2014}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/FefermanL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Ferenz17, author = {Nicholas Ferenz}, title = {Ambiguity and the Semantics of Relevant Logic}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Ferenz17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Fernandez-Duque17, author = {David Fern{\'{a}}ndez{-}Duque}, title = {Worms and Spiders: Reflection Calculi and Ordinal Notation Systems}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3277--3356}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Fernandez-Duque17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Follesdal17, author = {Dagfinn F{\o}llesdal}, title = {Truth and Interpretation}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3597--3608}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Follesdal17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FrancezW17, author = {Nissim Francez and Bartosz Wieckowski}, title = {A Proof Theory for First-order Logic with Definiteness}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/FrancezW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Frechette17, author = {Guillaume Fr{\'{e}}chette}, title = {Content and Object in Brentano}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3609--3628}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Frechette17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayR17, author = {Dov M. Gabbay and Lydia Rivlin}, title = {{HEAL2100:} Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic}, journal = {{FLAP}}, volume = {4}, number = {6}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00015.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayR17a, author = {Dov M. Gabbay and Gadi Rozenberg}, title = {Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study}, journal = {{FLAP}}, volume = {4}, number = {6}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00015.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayR17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayRR17, author = {Dov M. Gabbay and Gadi Rozenberg and Lydia Rivlin}, title = {Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study}, journal = {{FLAP}}, volume = {4}, number = {6}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00015.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayRR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayS17, author = {Dov M. Gabbay and J{\"{o}}rg H. Siekmann}, title = {Algorithms in Philosophy, Informatics and Logic. {A} Position Manifesto 2017}, journal = {{FLAP}}, volume = {4}, number = {5}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00014.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Glas17, author = {Michel De Glas}, title = {Locology and Localistic Logic: MathematicalandEpistemologicalAspects}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Glas17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GratzlS17, author = {Norbert Gratzl and Georg Schiemer}, title = {Two Types of Indefinites: Hilbert {\&} Russell}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GratzlS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Greco17, author = {Gianuigi Greco}, title = {Reasoning about Coalition Structures in Social Environments via Weighted Propositional Logic}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3529--3559}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Greco17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Griffin17, author = {Nicholas Griffin}, title = {Nuclear and Extra-nuclear Properties}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3629--3658}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Griffin17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GrigorievS17, author = {Dima Grigoriev and Vladimir Shpilrain}, title = {Secure Multiparty Computation without One-way Functions}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GrigorievS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Hartonas17, author = {Chrysafis Hartonas}, title = {Kripke-Galois Frames and their Logics}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Hartonas17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/HatanoST17, author = {Ryo Hatano and Katsuhiko Sano and Satoshi Tojo}, title = {Teaching Modal Logic from the Linear Algebraic Viewpoint}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/HatanoST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Hintikka17, author = {Jaakko Hintikka}, title = {{IF} Logic and Linguistic Theory}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Hintikka17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Hrubes17, author = {Pavel Hrubes}, title = {On Families of Anticommuting Matrices}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3261--3276}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Hrubes17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Iemhoff17, author = {Rosalie Iemhoff}, title = {On the Existence of Alternative Skolemization Methods}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Iemhoff17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Ilik17, author = {Danko Ilik}, title = {Perspectives for Proof Unwinding by Programming Languages Techniques}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3483--3504}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Ilik17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Imaguire17, author = {Gudio Imaguire}, title = {On the Existential Import of General Germs}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3659--3682}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Imaguire17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Isaac17, author = {Manuel Gustavo Isaac}, title = {How do we Know Things with Signs? {A} Model of Semiotic Intentionality}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3683--3704}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Isaac17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Jacquette17, author = {Tina Jacquette}, title = {Closing Words}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3773--3774}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Jacquette17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Jacquette17a, author = {Tina Jacquette}, title = {Dale Jacquette. Publications}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3775--3834}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Jacquette17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Janaway17, author = {Christopher Janaway}, title = {Schopenhauer's Consoling View of Death}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3705--3718}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Janaway17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/JohnstonH17, author = {Spencer Johnston and Wilfrid Hodges}, title = {Medieval Modalities and Modern Method: Avicenna and Buridan}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/JohnstonH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kahle17, author = {Reinhard Kahle}, title = {The logical Cone}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kahle17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kanazawa17, author = {Makoto Kanazawa}, title = {Parsing and Generation as Datalog Query Evaluation}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kanazawa17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Koellner17, author = {Peter Koellner}, title = {Themes from G{\"{o}}del: Some Recent Developments}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3171--3236}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Koellner17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kohlenbach17, author = {Ulrich Kohlenbach}, title = {Recent Progress in Proof Mining in Nonlinear Analysis}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3357--3406}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kohlenbach17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kroon17, author = {Frederik Kroon}, title = {Taming the Existent Golden Mountain: the Nuclear Option}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3719--3734}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kroon17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/LeeW17, author = {Joohyung Lee and Yi Wang}, title = {Fuzzy Propositional Formulas under the Stable Model Semantics}, journal = {{FLAP}}, volume = {4}, number = {7}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf}, timestamp = {Fri, 15 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/LeeW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Leiss17, author = {Hans Lei{\ss}}, title = {On Equality of Contexts and Completeness of the Indexed epsilon-Calculus}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Leiss17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Lorini17, author = {Emiliano Lorini}, title = {Logics for Games, Emotions and Institutions}, journal = {{FLAP}}, volume = {4}, number = {9}, pages = {3075--3113}, year = {2017}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00018.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Lorini17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/LukasiewiczPT17, author = {Thomas Lukasiewicz and Rafael Pe{\~{n}}aloza and Anni{-}Yasmin Turhan}, title = {Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness}, journal = {{FLAP}}, volume = {4}, number = {7}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/LukasiewiczPT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MacagnoWR17, author = {Fabrizio Macagno and Douglas Walton and Chris Reed}, title = {Argumentation Schemes. History, Classifications, and Computational Applications}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Wed, 09 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/MacagnoWR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Malliaris17, author = {Maryanthe Malliaris}, title = {The Clique Covering Problem and Other Questions}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3407--3426}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Malliaris17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Manin17, author = {Yuri I. Manin}, title = {Foundations as Superstructure (Reflections of a practicing mathematician)}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Manin17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ManzanoMR17, author = {Mar{\'{\i}}a Manzano and Nitsa Movshovitz{-}Hadar and Diane Resek}, title = {Leon Henkin: {A} Logician's View on Mathematics Education}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ManzanoMR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MaresS17, author = {Edwin D. Mares and Shawn Standefer}, title = {The Relevant Logic {E} and Some Close Neighbours: {A} Reinterpretation}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MaresS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mints17, author = {Grigori Mints}, title = {Classical and Intuitionistic Geometric Logic}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mints17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mio17, author = {Matteo Mio}, title = {Regular Languages of Infinite Trees and Probability}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3505--3516}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mio17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Mitchell17, author = {David Mitchell}, title = {Resolution and Clause-Learning with Restarts for Signed {CNF} Formulas}, journal = {{FLAP}}, volume = {4}, number = {7}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Mitchell17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ModgilP17, author = {Sanjay Modgil and Henry Prakken}, title = {Abstract Rule-Based Argumentation}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ModgilP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MooreW17, author = {J Strother Moore and Claus{-}Peter Wirth}, title = {Automation of Mathematical Induction as part of the History of Logic}, journal = {{FLAP}}, volume = {4}, number = {5}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00014.pdf}, timestamp = {Mon, 19 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/MooreW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Negri17, author = {Sara Negri}, title = {Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism"}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Negri17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Negri17a, author = {Sara Negri}, title = {Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Negri17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Nishiguchi17, author = {Sumiyo Nishiguchi}, title = {Noun Phrases in Japanese and epsilon-iota-tau Calculi}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Nishiguchi17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PaivaE17, author = {Valeria de Paiva and Harley Eades III}, title = {Constructive Temporal Logic, Categorically}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PaivaE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PaleoR17, author = {Bruno Woltzenlogel Paleo and Giselle Reis}, title = {Epsilon Terms in Intuitionistic Sequent Calculus}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PaleoR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ParentT17, author = {Xavier Parent and Leendert W. N. van der Torre}, title = {Detachment in Normative Systems: Examples, Inference Patterns, Properties}, journal = {{FLAP}}, volume = {4}, number = {9}, pages = {2995--3038}, year = {2017}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00018.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ParentT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Pasquali17, author = {Fabio Pasquali}, title = {Hilbert's epsilon-operator in Doctrines}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Pasquali17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Patkul17, author = {Andrei Patkul}, title = {The Historical Role of Kant's Views on Logic}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Patkul17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Pelletier17, author = {Francis Jeffry Pelletier}, title = {The Logic for Metaphysical Conceptions of Vagueness}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Pelletier17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PereiraLMRTTV17, author = {C{\'{e}}lia da Costa Pereira and Beishui Liao and Alessandra Malerba and Antonino Rotolo and Andrea G. B. Tettamanzi and Leendert W. N. van der Torre and Serena Villata}, title = {Handling Norms in Multi-agent Systems by Means of Formal Argumentation}, journal = {{FLAP}}, volume = {4}, number = {9}, pages = {3039--3073}, year = {2017}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00018.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PereiraLMRTTV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PigozziT17, author = {Gabriella Pigozzi and Leendert W. N. van der Torre}, title = {Editorial}, journal = {{FLAP}}, volume = {4}, number = {9}, pages = {2927--2928}, year = {2017}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00018.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PigozziT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PigozziT17a, author = {Gabriella Pigozzi and Leendert W. N. van der Torre}, title = {Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective}, journal = {{FLAP}}, volume = {4}, number = {9}, pages = {2929--2993}, year = {2017}, url = {https://www.collegepublications.co.uk/downloads/ifcolog00018.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PigozziT17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PinchinatS17, author = {Sophie Pinchinat and Fran{\c{c}}ois Schwarzentruber}, title = {Preface}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PinchinatS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Prakken17, author = {Henry Prakken}, title = {Historical Overview of Formal Argumentation}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Prakken17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Priest17, author = {Graham Priest}, title = {A Note on the Axiom of Countability}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Priest17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Prosorov17, author = {Oleg Prosorov}, title = {Topologies and Sheaves Appeared as Syntax and Semantics of Natural Language}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Prosorov17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Rathjen17, author = {Michael Rathjen}, title = {Long Sequences of Descending Theories and other Miscellanea on Slow Consistency}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Rathjen17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Rescher17, author = {Nicholas Rescher}, title = {Reminiscences of Alonzo Church}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3735--3838}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Rescher17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Rodin17, author = {Andrei Rodin}, title = {Venus Homotopically}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Rodin17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Sabok17, author = {Marcin Sabok}, title = {Orbit Equivalence Relations}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3517--3528}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Sabok17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Sandu17, author = {Gabriel Sandu}, title = {Commentary on Jaakko Hintikka's "IF Logic and Linguistic Theory"}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Sandu17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Sandu17a, author = {Gabriel Sandu}, title = {On a Combination of Truth and Probability: Probabilistic {IF} Logic}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Sandu17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SchoonenB17, author = {Tom Schoonen and Franz Berto}, title = {Noneism and Allism on the Objects of Thought}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3739--3758}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SchoonenB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Simons17, author = {Peter M. Simons}, title = {Why Nothing Fails to Exist}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3759--3772}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Simons17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Slaney17, author = {John Slaney}, title = {Logic for Fun: An Online Tool for Logical Modelling}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Slaney17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Slater17, author = {Hartley Slater}, title = {({\(\exists\)}y)(y = exFx)}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Slater17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Slissenko17, author = {Anatol Slissenko}, title = {Towards Analysis of Information Structure of Computations}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Slissenko17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Soloviev17, author = {Sergei Soloviev}, title = {Studies of Hilbert's epsilon-operator in the {USSR}}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Soloviev17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Soloviev17a, author = {Sergei Soloviev}, title = {Grigori Mints, a Proof Theorist in the {USSR:} Some Personal Recollections in a Scientific Context}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Soloviev17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Tedder17, author = {Andrew Tedder}, title = {Channel Composition and Ternary Relation Semantics}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Tedder17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ThompsonS17, author = {Declan Thompson and Jeremy Seligman}, title = {Teaching Natural Deduction in the Right Order with Natural Deduction Planner}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ThompsonS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TorreV17, author = {Leon van der Torre and Srdjan Vesic}, title = {The Principle-Based Approach to Abstract Argumentation Semantics}, journal = {{FLAP}}, volume = {4}, number = {8}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00017.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/TorreV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Urquhart17, author = {Alasdair Urquhart}, title = {The Geometry of Relevant Implication}, journal = {{FLAP}}, volume = {4}, number = {3}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00012.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Urquhart17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Vasyukov17, author = {Vladimir L. Vasyukov}, title = {Horizons of Scientific Pluralism: Logics, Ontology, Mathematics}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Vasyukov17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Vershik17, author = {Anatoly M. Vershik}, title = {About Grisha Mints}, journal = {{FLAP}}, volume = {4}, number = {4}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Vershik17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Viale17, author = {Matteo Viale}, title = {Useful Axioms}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3427--3462}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Viale17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/VilladsenJS17, author = {J{\o}rgen Villadsen and Alexander Birch Jensen and Anders Schlichtkrull}, title = {NaDeA: {A} Natural Deduction Assistant with a Formalization in Isabelle}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/VilladsenJS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Walsh17, author = {Sean Walsh}, title = {The Strength of Abstraction with Predicative Comprehension}, journal = {{FLAP}}, volume = {4}, number = {10}, pages = {3463--3482}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00019}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Walsh17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/WilsonGO17, author = {Nic Wilson and Anne{-}Marie George and Barry O'Sullivan}, title = {Preference Inference Based on Hierarchical and Simple Lexiographic Models}, journal = {{FLAP}}, volume = {4}, number = {7}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00016.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/WilsonGO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Wirth17, author = {Claus{-}Peter Wirth}, title = {Barry Hartley Slater {(1936-2016):} {A} Logical Obituary}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Wirth17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Wirth17a, author = {Claus{-}Peter Wirth}, title = {A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Wirth17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Wirth17b, author = {Claus{-}Peter Wirth}, title = {The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Wirth17b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods17, author = {John Woods}, title = {Editor's Note}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3557--3558}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods17a, author = {John Woods}, title = {Dale Jacquette: An Appreciation}, journal = {{FLAP}}, volume = {4}, number = {11}, pages = {3559--3570}, year = {2017}, url = {http://collegepublications.co.uk/ifcolog/?00020}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Zamansky17, author = {Anna Zamansky}, title = {Teaching Logic to Information Systems Student: {A} Student-centric Approach}, journal = {{FLAP}}, volume = {4}, number = {1}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Zamansky17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AbrahamBSG16, author = {Michael Abraham and Israel Belfer and Uri J. Schild and Dov M. Gabbay}, title = {Quantum States and Disjunctive Attacks in Talmudic Logic}, journal = {{FLAP}}, volume = {3}, number = {5}, pages = {789--814}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AbrahamBSG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Angell16, author = {Richard Bradshaw Angell}, title = {Connexive Implication, Modal Logic and Subjunctive Conditionals}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {297--308}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Angell16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BertolottiAM16, author = {Tommaso Bertolotti and Selene Arfini and Lorenzo Magnani}, title = {Abduction: from the Ignorance Problem to the Ignorance Virtue}, journal = {{FLAP}}, volume = {3}, number = {1}, pages = {153--173}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BertolottiAM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Estrada-Gonzalez16, author = {Luis Estrada{-}Gonz{\'{a}}lez and Elisangela Ramrez{-}Camara}, title = {A Comparison of Connexive Logics}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {341--356}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Estrada-Gonzalez16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/FazzingaFPP16, author = {Bettina Fazzinga and Sergio Flesca and Francesco Parisi and Adriana Pietramala}, title = {Computing or Estimating Extensions' Probabilities over Structured Probabilistic Argumentation Frameworks}, journal = {{FLAP}}, volume = {3}, number = {2}, pages = {177--200}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00006.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/FazzingaFPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Ferguson16, author = {Thomas Macaulay Ferguson}, title = {On Arithmetic Formulated Connexively}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {357--376}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Ferguson16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Francez16, author = {Nissim Francez}, title = {Natural Deduction for Two Connexive Logics}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {479--504}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Francez16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Friedman16, author = {Sy{-}David Friedman}, title = {Evidence for Set-theoretic Truth and the Hyperuniverse Programme}, journal = {{FLAP}}, volume = {3}, number = {4}, pages = {517--556}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00008.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Friedman16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayR16, author = {Dov M. Gabbay and Odinaldo Rodrigues}, title = {Introducing Bayesian Argumentation Networks}, journal = {{FLAP}}, volume = {3}, number = {2}, pages = {241--278}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00006.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/HocheSS16, author = {Michael Hoche and J{\"{o}}rg H. Siekmann and Peter Szab{\'{o}}}, title = {String Unification is Essentially Infinitary}, journal = {{FLAP}}, volume = {3}, number = {5}, pages = {755--788}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/HocheSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Inoue16, author = {Katsumi Inoue}, title = {Meta-Level Abduction}, journal = {{FLAP}}, volume = {3}, number = {1}, pages = {7--36}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Inoue16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/KamideW16, author = {Norihiro Kamide and Heinrich Wansing}, title = {Completeness of Connexive Heyting-Brouwer Logic}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {441--466}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/KamideW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Leigh16, author = {Graham E. Leigh}, title = {Reflecting on Truth}, journal = {{FLAP}}, volume = {3}, number = {4}, pages = {557--594}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00008.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Leigh16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/LeitgebPSS16, author = {Hannes Leitgeb and Iosif Petrakis and Peter Schuster and Helmut Schwichtenberg}, title = {Editorial}, journal = {{FLAP}}, volume = {3}, number = {4}, pages = {513--516}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00008.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/LeitgebPSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Loui16, author = {Ronald P. Loui}, title = {Against Narrow Optimization and Short Horizons: An Argument-based, Path Planning, and Variable Multiattribute Model for Decision and Risk}, journal = {{FLAP}}, volume = {3}, number = {2}, pages = {201--240}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00006.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Loui16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MaP16, author = {Minghui Ma and Ahti{-}Veikko Pietarinen}, title = {A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic}, journal = {{FLAP}}, volume = {3}, number = {1}, pages = {73--104}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MaP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Magnani16, author = {Lorenzo Magnani}, title = {Editorial Preface}, journal = {{FLAP}}, volume = {3}, number = {1}, pages = {1--6}, year = {2016}, timestamp = {Mon, 27 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/Magnani16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MaiettiM16, author = {Maria Emilia Maietti and Samuele Maschio}, title = {A Predicative Variant of a Realizability Tripos for the Minimalist Foundation}, journal = {{FLAP}}, volume = {3}, number = {4}, pages = {595--668}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00008.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MaiettiM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MartiS16, author = {Michel Marti and Thomas Studer}, title = {Intuitionistic Modal Logic made Explicit}, journal = {{FLAP}}, volume = {3}, number = {5}, pages = {877--902}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MartiS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MontgomeryR16, author = {Hugh Alexander Montgomery and Richard Routley}, title = {Models for Connexive Logics}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {309--316}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MontgomeryR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Moschovakis16, author = {Joan Rand Moschovakis}, title = {A Translation Theorem For Restricted R-Formulas}, journal = {{FLAP}}, volume = {3}, number = {4}, pages = {669--680}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00008.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Moschovakis16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Olkhovikov16, author = {Grigory K. Olkhovikov}, title = {On a New Three-Valued Paraconsistent Logic}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {317--334}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Olkhovikov16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Olkhovikov16a, author = {Grigory K. Olkhovikov}, title = {A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {335--340}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Olkhovikov16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Omori16, author = {Hitoshi Omori}, title = {A Simple Connexive Extension of the Basic Relevant Logic {BD}}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {467--478}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Omori16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Omori16a, author = {Hitoshi Omori}, title = {A Note on Francez' Half-Connexive Formula}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {505--512}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Omori16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ParisV16, author = {Jeff B. Paris and Alena Vencovsk{\'{a}}}, title = {The Indian Schema Analogy Principles}, journal = {{FLAP}}, volume = {3}, number = {5}, pages = {903--927}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ParisV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Payette16, author = {Gillman Payette}, title = {Three Grades of Agnostic Involvement}, journal = {{FLAP}}, volume = {3}, number = {5}, pages = {847--876}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Payette16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PereiraS16, author = {Lu{\'{\i}}s Moniz Pereira and Ari Saptawijaya}, title = {Abduction and Beyond in Logic Programming with Application to Morality}, journal = {{FLAP}}, volume = {3}, number = {1}, pages = {37--72}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PereiraS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/RathjenC16, author = {Michael Rathjen and Jacob Cook}, title = {Classifying the Provably Total set Functions of {KP} and {KP(P)}}, journal = {{FLAP}}, volume = {3}, number = {4}, pages = {681--753}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00008.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/RathjenC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Rivadulla16, author = {Andr{\'{e}}s Rivadulla}, title = {Abduction and Beyond. Methodological and Computational Aspects of Creativity in Natural Sciences}, journal = {{FLAP}}, volume = {3}, number = {1}, pages = {105--122}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Rivadulla16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SkurtO16, author = {Daniel Skurt and Hitoshi Omori}, title = {More Modal Semantics without Possible Worlds}, journal = {{FLAP}}, volume = {3}, number = {5}, pages = {815--846}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00009.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SkurtO16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ThimmG16, author = {Matthias Thimm and Dov M. Gabbay}, title = {Editorial Preface}, journal = {{FLAP}}, volume = {3}, number = {2}, pages = {175--176}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00006.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ThimmG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Unterhuber16, author = {Matthias Unterhuber}, title = {Beyond System {P} - Hilbert-Style Convergence Results for Conditional Logics with a Connexive Twist}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {377--412}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Unterhuber16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Wansing16, author = {Heinrich Wansing}, title = {Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed -Calculus}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {413--440}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Wansing16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/WansingOF16, author = {Heinrich Wansing and Hitoshi Omori and Thomas Macaulay Ferguson}, title = {Editorial Preface}, journal = {{FLAP}}, volume = {3}, number = {3}, pages = {279--296}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/WansingOF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/West16, author = {Donna E. West}, title = {Course of Action Recommendations and Their Place in Developmental Abduction}, journal = {{FLAP}}, volume = {3}, number = {1}, pages = {123--152}, year = {2016}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/West16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CaminadaSAD15, author = {Martin Caminada and Samy S{\'{a}} and Jo{\~{a}}o F. L. Alc{\^{a}}ntara and Wolfgang Dvor{\'{a}}k}, title = {On the Difference between Assumytion-Based Argumentation and Abstract Argumentation}, journal = {{FLAP}}, volume = {2}, number = {1}, pages = {15--34}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00003.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CaminadaSAD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Fitting15, author = {Melvin Fitting}, title = {Cut-Free Proof Systems for Geach Logics}, journal = {{FLAP}}, volume = {2}, number = {2}, pages = {17--64}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00004.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Fitting15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gabbay15, author = {Dov M. Gabbay}, title = {Editorial comment about "On the Difference between {ABA} and AA"}, journal = {{FLAP}}, volume = {2}, number = {1}, pages = {1--14}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00003.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Gabbay15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Makinson15, author = {David Makinson}, title = {G{\"{o}}odel's Master Argument: What is it, and what can it do?}, journal = {{FLAP}}, volume = {2}, number = {2}, pages = {1--16}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00004.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Makinson15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/MaoZL15, author = {Yi Mao and Beihai Zhou and Beishui Liao}, title = {Going Forth and Drawing Back: An Intensional Approach in Nonmonotonic Inference}, journal = {{FLAP}}, volume = {2}, number = {2}, pages = {127--174}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00004.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/MaoZL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SaptawijayaP15, author = {Ari Saptawijaya and Lu{\'{\i}}s Moniz Pereira}, title = {Tabdual: a Tabled Abduction System for Logic Programs}, journal = {{FLAP}}, volume = {2}, number = {1}, pages = {69--124}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00003.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SaptawijayaP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/SchumannA15, author = {Andrew Schumann and Andrew Adamatzky}, title = {Physarum Polycephalum Diagrams for Syllogistic Systems}, journal = {{FLAP}}, volume = {2}, number = {1}, pages = {35--68}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00003.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/SchumannA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/ZiafatiDMTV15, author = {Pouyan Ziafati and Mehdi Dastani and John{-}Jules Ch. Meyer and Leon van der Torre and Holger Voos}, title = {Retalis Language for Information Engineering in Autonomous Robot Software}, journal = {{FLAP}}, volume = {2}, number = {2}, pages = {65--126}, year = {2015}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00004.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/ZiafatiDMTV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AmblardR14, author = {Maxime Amblard and Christian Retor{\'{e}}}, title = {Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property}, journal = {{FLAP}}, volume = {1}, number = {1}, pages = {53--94}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AmblardR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BenthemL14, author = {Johan van Benthem and Fenrong Liu}, title = {Deontic Logic and Preference Change}, journal = {{FLAP}}, volume = {1}, number = {2}, pages = {1--46}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BenthemL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Besnard14, author = {Philippe Besnard}, title = {A Note on Directions for Cumulativity}, journal = {{FLAP}}, volume = {1}, number = {2}, pages = {77--82}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Besnard14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/BikakisCT14, author = {Antonis Bikakis and Patrice Caire and Yves Le Traon}, title = {Tools for Conviviality in Multi-Context Systems}, journal = {{FLAP}}, volume = {1}, number = {1}, pages = {95--114}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/BikakisCT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Clerbout14, author = {Nicolas Clerbout}, title = {Finiteness of Plays}, journal = {{FLAP}}, volume = {1}, number = {1}, pages = {115--130}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Clerbout14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Gabbay14, author = {Dov M. Gabbay}, title = {Systems of Interacting Argumentation Networks}, journal = {{FLAP}}, volume = {1}, number = {1}, pages = {131--176}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Gabbay14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GabbayG14, author = {Michael Gabbay and Murdoch Gabbay}, title = {A simple and complete model theory for intensional and extensional untyped lambda-equality}, journal = {{FLAP}}, volume = {1}, number = {2}, pages = {83--106}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GabbayG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Kramer14, author = {Simon Kramer}, title = {Computer-Aided Discovery and Categorisation of Personality Axioms}, journal = {{FLAP}}, volume = {1}, number = {2}, pages = {107--133}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Kramer14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/PradeR14, author = {Henri Prade and Gilles Richard}, title = {Homogenous and Heterogeneous Logical Proportions}, journal = {{FLAP}}, volume = {1}, number = {1}, pages = {1--52}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/PradeR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Thomason14, author = {Richmond H. Thomason}, title = {The Formalization of Practical Reasoning: Problems and Prospects}, journal = {{FLAP}}, volume = {1}, number = {2}, pages = {47--76}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00002.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Thomason14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Woods14, author = {John Woods}, title = {How Robust Can Inconsistency Get?}, journal = {{FLAP}}, volume = {1}, number = {1}, pages = {177--216}, year = {2014}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Woods14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.